[SeaBIOS] [PATCH 1/2] Run option rom visible PMM code in 32bit mode instead of 16bit mode.