[SeaBIOS] [PATCH 5/6] Support call16() calls after entering 32bit mode from call32().