Patch queue for Xen 4.4