[SeaBIOS] Reducing SeaBIOS kernel entry time