[PATCH v2 03/12] x86/sev: Add an x86 version of prot_guest_has()