Re: [SeaBIOS] [PATCH] kernel/kvm: fix improper nmi emulation