Pre-built Linux kernel with Gentoo patches
