[SeaBIOS] [PATCH 3/6] Don't do "double buffering" in bootsplash code.