Really really properly access cpuid_fn1_ecx, courtesy of pvk.