[SeaBIOS] [PATCH 04/12] Update stack_hop_back() to jump to 16bit mode if called in 32bit mode.