Re: [SeaBIOS] [coreboot] [PATCH] Bootsplash for SeaBIOS