https://bugzilla.kernel.org/show_bug.cgi?id=215001

--- Comment #13 from Kris Karas (bugs-a21@moonlit-rail.com) --- 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@moonlit-rail.com

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