[SeaBIOS] [PATCH v8 4/8] Support for BIOS interrupt handler