Xen 4.3 RC2 test instructions