[patch 7/7] Enable Xen support again