moving to xen 4.2