[PATCH 02/11] x86/sev: Add an x86 version of prot_guest_has()