Re: [OpenBIOS] [PATCHv8 00/16] boot order specification