Gentoo kernels (from gentoo-sources and genkernel) customized for EC2