# CONFIG_PROTECTED_VIRTUALIZATION_GUEST is not set