Just check cpuid itself, don't clobber %ebx