Re: [SeaBIOS] Reducing SeaBIOS kernel entry time