[PATCH 0/3] KVM: x86: Small changes to support VMware guests