Re: [SeaBIOS] Configuring boot order