Xen 4.3 RC5 test instructions