[SeaBIOS] SeaBIOS booting time optimization