Re: [PATCH v2 1/2] x86/sev-es: Move sev_es_put_ghcb() in prep for follow on patch