# CONFIG_XEN_PRIVILEGED_GUEST is not set
