[SeaBIOS] [PATCH V3 5/8] Support for BIOS interrupt handler