Re: [SeaBIOS] [PATCH v10 3/6] Support for BIOS interrupt handler