KVM: VMX: Correct wrong vmcs field sizes