Simplify __cpuidex().

Wasn't building 32-bit for me on Ubuntu.