Re: [PATCH v2 2/2] x86/sev-es: Invalidate the GHCB after completing VMGEXIT