Re: [U-Boot] [PATCH 15/19] bios_emulator: Allow a custom interrupt handler to be installed