xen-4.5.0-disable-igd-vtd.patch
	Adds an iommu=no-igd-vtd to Xen-4.5.0 to forcibly disable VT-d on IGD (fixes HDMI sound issues on Haswell for me)

xen-build-ubuntu12.4.patch
	gcc-4.6.real (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3 thinks there's an uninitialized value in hvm.c

xenslic
	Patches xen-4.5.0 hvmloader to pass through a SLIC table from the BIOS for OEM activation in Win7/Vista

All these files are made available under the same license as Xen (GPLv2).