Xen 4.5 with xsm-v4 and extra debug output