[SeaBIOS] Re: [PATCH] Reduce video modeswitching when using a boot splash image