Patch queue for qemu-xen-4.2