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.