[SeaBIOS] [PATCH 1/3] boot: cache HALT priority