Gentoo kernel .config options for several laptops