Make cpuid() conform to x64 System V ABI