[SeaBIOS] [PATCH 4/6] Add call16_int10 helper to bootsplash.c.