xen: Add Xen interface header files