[SeaBIOS] [PATCH] Bootsplash for SeaBIOS (with coreboot)