Xen 4.2 RC3 test instructions