Xen 4.3 RC1 test instructions