VMX: Correctly serialize VMCS after initialization.