Ok. So that was not the reason. Nice try. :-( Thanks for the pointer to the debian bug! Indeed looking for an update of ucode-intel package (Intel CPU/GPU firmware) is a good idea. You should at least try it. I'm afraid all you can do is install debug packages and enable writing core files, so you see some more useful information here.