Submitting Xen Patches with Git