gentoo: adding kernel options