Xen 4.2 RC2 test instructions