GCSC_DIVIL_BALL_OPTS
msr = rdmsr(GCSC_DIVIL_BALL_OPTS); /* 0x71 */
wrmsr(GCSC_DIVIL_BALL_OPTS, msr | 0x01);