Make cpuid() conform to x64 System V ABI

Fixes the problem on my machine!