MSR_FP_AVAILABLE
set_msr(MSR_MACHINE_CHECK_ENABLED | MSR_FP_AVAILABLE
msr |= MSR_FP_AVAILABLE;
if ((msr & MSR_FP_AVAILABLE) == 0) {
set_msr(get_msr() | MSR_FP_AVAILABLE);