[SeaBIOS] [PATCH 1/4] Add call32_params() helper function.