I retried this test today with the latest released BIOS and firmware on the affected systems, and couldn't reproduce the problem any more.
So, this patch doesn't seem to be necessary at this time. It was meant as a workaround for firmware malfunction anyway. Hopefully, at least, my analysis may be helpful for someone else in the future. Martin _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
