[SeaBIOS] [PATCH 00/15] More vgabios work.