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)
