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