x86: cpuid.c fix style problems