Re: [SeaBIOS] [PATCH 2/4] KVM: Rework VCPU state writeback API