Linux kernel configurations for my Gentoo-based PCs