Do not enable xenctrl unless xen-evtchn is also installed