Как получить поддержку AVX в QEMU?

Я хочу играть с новыми инструкциями AVX. I увидел, что QEMU может иметь поддержку, поэтому я построил его из Git (вчера). Я установил процессор на SandyBridge и загрузил Tiny Core Linux. TCL имеет ядро 3.0 и Википедия утверждает Linux получил поддержку AVX в 2.6.30. TCL также работает с AVX в Бохах. Но когда я cat / proc / cpuinfo при запуске в QEMU, avx отсутствует в flags:

$ cat /proc/cpuinfo 
processor   : 0
vendor_id   : GenuineIntel
cpu family  : 6
model       : 42
model name  : Intel Xeon E312xx (Sandy Bridge)
stepping    : 1
cpu MHz     : 1861.924
cache size  : 4096 KB
fdiv_bug    : no
hlt_bug     : no
f00f_bug    : no
coma_bug    : no
fpu     : yes
fpu_exception   : yes
cpuid level : 13
wp      : yes
flags       : fpu pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 syscall nx rdtscp lm constant_tsc up pni cx16 popcnt hypervisor lahf_lm
bogomips    : 3725.00
clflush size    : 64
cache_alignment : 64
address sizes   : 40 bits physical, 48 bits virtual
power management:

$

Как получить поддержку AVX в QEMU?