[SeaBIOS] [PATCH 0/4] SeaVGABIOS improvments for coreboot's framebuffer