Re: [PATCH v4.4.y] KVM: fail KVM_SET_VCPU_EVENTS with invalid exception number