[SeaBIOS] [PATCH 9/9] Sort IPLs according to their boot priority.