Hello, I am using tiny210 and want to compile ANDROID kernel with some customized configuration, as of now tools are installed and I am able to compile kernel and run the compiled one on board, Now I want to add some options configuration like CONFIG_VIDEO_TVP5150, I have added those options in mini210_android_defconfig and verified that dependencies are met. then I ran following command, as given in user manual cp mini210_android_defconfig .config and then make Now the kernel got compiled, however there is no driver, I check in source directories of drivers/media/video/ there is not tvp5150.o file, and also no option present in .config file CONFIG_VIDEO_TVP5150,even if I add this option in .config, it will get removed while compiling kernel. Any help will be highly appreciated.