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