Re: [PATCH] x86/sev: Return an error on a returned non-zero SW_EXITINFO1[31:0]