[PATCH v2 00/12] Implement generic prot_guest_has() helper function