[SeaBIOS] BIOS calls in 16bit protected mode