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