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