Re: [SeaBIOS] [PATCH 2/3] Sort IPLs according to their boot priority.