cpuid: apply the 32-bit fix