cpuid is not going to change more than ebx, even on x86_64