KVM: VMX: always_inline VMREADs