https://bugzilla.kernel.org/show_bug.cgi?id=215001 --- Comment #13 from Kris Karas (bugs-a21@xxxxxxxxxxxxxxxx) --- Hi Javier, et al, I have just tested version two of the patch (from email, I don't see it listed in the attachments), on the original two BIOS/VGAC servers, one new UEFI server, and my original UEFI desktop. Once again, I'm happy to report flawless operation on all four. Tested-By: Kris Karas <bugs-a21@xxxxxxxxxxxxxxxx> Thanks again, Javier! I hope this one also makes Geert happy, too. (I'd still be happier if non-X86 would be patched to use orig_video_isVGA as an integer; but for expediency, this seems fine.) Kris -- You may reply to this email to add a comment. You are receiving this mail because: You are on the CC list for the bug.