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