xen: introduce the header file for the Xen 9pfs transport protocol