update Xen version to 4.2.2-rc1