CPUID uses platform uint32, not stdint uint32_t