[SeaBIOS] [PATCH v2 1/6] optionrom: enable non-vga display devices