__cpuidex() is not really required for now, just use __cpuid()
Enable Coverity+Travis