Re: [PATCH] x86/sev: Fix __reserved field in sev_config