[SeaBIOS] [PATCH v9 3/6] Support for BIOS interrupt handler