x86: cpuid, xsetbv, xgetbv involve 32bit registers, not 64bit registers.