/gentoo-dist

Misc binary distfiles needed for Gentoo packages (xen patches, etc.)