[SeaBIOS] [PATCH V5 5/9] Support for BIOS interrupt handler