Re: [SeaBIOS] [PATCH] qemu: Fix inject-nmi