__cpuidex() is not really required for now, just use __cpuid()