On the other hand, my only remaining Windows machine routinely bluescreens with 0xDEADDEAD, which is never supposed to happen (it’s a test code, for a deliberately initiated crash).

I think the last time I got a kernel panic on a Linux machine was 2011, and it was an mp3 player that was definitely not designed to run Linux.