do the xen patch with sed, and avoid big git commands since qemu segfaults on multithreaded ARM emulation