Xen 4.3 RC4 test instructions