[SeaBIOS] Re: Boot order?