Add a `VCHAN_xen` module that maps a working vchan implementation