I try to maintain all my patches in the following document http://www.davidgis.fr/documentation/Xen_VGA_PassThrough/doc.html

Technical details to apply those patches are not provided in the url above