Confirmed that bcd951cf10f24e341defcd002c15a1f4eea13ddb is the first bad commit, that tglx’s patch in the above LKML thread fixes it, and that removing nmi_watchdog=0 from my kernel command line is a workaround (oops).
Confirmed that bcd951cf10f24e3 41defcd002c15a1 f4eea13ddb is the first bad commit, that tglx’s patch in the above LKML thread fixes it, and that removing nmi_watchdog=0 from my kernel command line is a workaround (oops).