Re: [SeaBIOS] [PATCHv6 00/16] boot order specification