On Fri, Oct 06, 2017 at 09:02:09PM +0200, Johannes Hirte wrote: > 19001011 > 19001011 > 19001011 > 19001011
After you boot, do
wrmsr -a 0xc0010015 0x19001019
as root.
It should fix it temporarily and until the next boot, until we've fixed
it upstream properly.
--
Regards/Gruss,
Boris.
Good mailing practices for 400: avoid top-posting and trim the reply.

