Conditionally compile the stubs subpackage if xen headers are present

When building Mirage kernels, we don't actually need the xenctrl.h header.