Kernel config usage

Hello,

I am reading 
https://repo.or.cz/smatch.git/blob/HEAD:/Documentation/smatch.txt

And trying to test smatch against the linux kernel staging branch from 
Greg KH's repo.

I am a bit confused about kernel .config usage ? What does smatch needs? 
I tried using multi_v7_defconfig and allmodefconfig, but everytime I try to:

$) make O=../my_build_dir CHECK="~/src/smatch/smatch -p=kernel" C=1  
bzImage modules -j32

I get asked about config options again. As below:

*
* Restart config...
*
*
* General setup
*
Compile also drivers which will not load (COMPILE_TEST) [Y/n/?] y
Compile the kernel with warnings as errors (WERROR) [Y/n/?] y
Compile test UAPI headers (UAPI_HEADER_TEST) [N/y/?] (NEW)


...

Am I missing something ?