[SeaBIOS] [PATCH 0/3] not yet applied boot priority patches rebased