[PATCH 1/6] x86/sev-es: Don't return NULL from sev_es_get_ghcb()