[SeaBIOS] Re: Animated GIF bootsplash