x86/sev: Carve out HV call's return value verification