[SeaBIOS] [PATCH 00/12] Support using SMM for 32bit trampolining