On Tue, Mar 28, 2023 at 06:32:31PM +0100, David R wrote:> I can't reboot now 'till Thursday. Will try then and report back.Appreciated, thanks!I'll try to repro here in the meantime but I'm afraid I won't be able to- this looks like a BIOS issue. But we'll see.-- Regards/Gruss, Boris.https://people.kernel.org/tglx/notes-about-netiquette