Basically, by flipping a bit – bit 19 of the undocumented core-scoped model-specific register (MSR) 0xC0011029 – the attacker ...