Add (untested) mir-xen-build script to link the Xen kernel from an output-obj