Shield tablet android kernel configuration

Hello,
I launched $make menuconfig from “kernel” folder. Menuconfig shows, that modules I wish to add are already enabled. But they are not compiled actually. I noticed, that out/target/product/shieldtablet/obj/KERNEL/.config file is generated during compilation so it is impossible to change it manually. So I’m wondered, could somebody tell how to change kernel configuration for shield tablet?

It is solved. Here is a file with config, that I changed manually.
~/shieldtablet-open-source/kernel/arch/arm/configs/tegra12_android_defconfig
There are not all possible config entries, so I added those ones for modules I’d like to compile.
I took them from the resulting config
~/shieldtablet-open-source/out/target/product/shieldtablet/obj/KERNEL/.config