CONFIG_XEN_PRIVCMD_EVENTFD=y
