Building linux-headers (kernel 3.14-rc6) fails because of missing options

[tkoskine]

When trying to build the latest minifs (commit 0bd7080) for imx233 (MINIFS_BOARD=imx233), the build waits infinitely in kernel-headers with following log message:

 1  make CFLAGS=-g -O2 -march=armv5te -mtune=arm926ej-s -fPIC -mthumb-interwork ARCH=arm O=/home/tkoskine/work/olinuxino/imx233-minifs/minifs-1/build-imx233/linux-obj CROSS_COMPILE=/home/tkoskine/work/olinuxino/imx233-minifs/minifs-1/toolchain/arm-v5-linux-uclibcgnueabi//bin/arm-v5-linux-uclibcgnueabi- oldconfig
 2    HOSTCC  scripts/basic/fixdep
 3    GEN     /home/tkoskine/work/olinuxino/imx233-minifs/minifs-1/build-imx233/linux-obj/Makefile
 4    HOSTCC  scripts/kconfig/conf.o
 5    SHIPPED scripts/kconfig/zconf.tab.c
 6    SHIPPED scripts/kconfig/zconf.lex.c
 7    SHIPPED scripts/kconfig/zconf.hash.c
 8    HOSTCC  scripts/kconfig/zconf.tab.o
 9    HOSTLD  scripts/kconfig/conf
10  scripts/kconfig/conf --oldconfig Kconfig
11  *
12  * Restart config...
13  *
14  *
15  * CPU/Task time and stats accounting
16  *
17  Cputime accounting
18  > 1. Simple tick based cputime accounting (TICK_CPU_ACCOUNTING)
19    2. Full dynticks CPU time accounting (VIRT_CPU_ACCOUNTING_GEN) (NEW)
20    3. Fine granularity task level IRQ time accounting (IRQ_TIME_ACCOUNTING)
21  choice[1-3]: 

So, it looks like some options are not defined in config_kernel.conf.