Add kernel config for Xen support and script to set networking info from XenServer via XenFS