Xen 4.3 RC3 test instructions