Kochise (./33) :
difficile de savoir quelles sont les extensions CPUID qu'il supporte...

cat /proc/cpuinfo ?