kexec reboot fails with extra wbinvd introduced for AME SME

[Arjan van de Ven]

> 
> Does anybody have any other ideas?

wbinvd is thankfully not common, but also not rare (MTRR setup and a bunch of other cases)
and in some other operating systems it happens even more than on Linux.. it's generally not totally broken like this.

I can only imagine a machine check case where a write back to a bad cell causes some parity error
or something...  but it's odd that no other machine checks are reported?
(can the user check for this please)