Kconfig bug

[rongals]

Dear UDOO developers,
working on the integration of your kernel source in the dora Yocto branch I found this issue.

after a correct configuration (make UDOO_defconfig) I try to save the incremental defconfig (make savedefconfig). When using it the final .config differs from the original one for a couple of symbols:

3.0.35-r0/git$ diff .config $DIR/config.good
1966c1966
< CONFIG_MXC_IPU_DEVICE_QUEUE_SDC=m

---
> CONFIG_MXC_IPU_DEVICE_QUEUE_SDC=y
2502c2502
< CONFIG_USB_ETH=m

---
> CONFIG_USB_ETH=y

these differences make the compilation fail.
It seems that the issue is related to a bug on Kconfig, solved after your fork (see http://lkml.indiana.edu/hypermail/linux/kernel/1212.1/00118.html)

Any suggestions?