Yeah, I forgot to mention that. reboot=bios (reboot=b is just the same) still works around the problem. I attach the dmidecode output as requested
Yeah, I forgot to mention that. reboot=bios (reboot=b is just the same) still works around the problem.
I attach the dmidecode output as requested