[SeaBIOS] [PATCH] splash: Skip the RGB555 mode