Re: [SeaBIOS] SeaBIOS booting time optimization