Xenfixes

Some fixes to the xen related setup