Re: [SeaBIOS] [PATCH 1/6] pci, optionrom: enable non-vga display devices