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