[SeaBIOS] [PATCH 00/20] VGA BIOS updates