Ah, of course. Attached is the output of `journalctl --boot=-1` afterFor the Hard lockups on both CPUs after login:
booting, getting locked up, and then rebooting a good kernel.
Slightly different version of 4.15-rc5; this one has both patches
applied, yours and Linus' for kexec, but the latter shouldn't make a
difference.
---
You'll see another trace in there that's been bugging me, about W=X
checking. I'm not qualified to judge how related they are, but during
these past few days I've compiled and tested many kernels, and many of
them have exhibited the W+X thing but*not* the lockups.