CONFIG_XEN_PRIVCMD_IRQFD=y
