linux-headers-3.7 from Gentoo master
xen-tools-4.2.0-r2 from Gentoo master