Shield tablet android kernel configuration

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.
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