I have a single board computer with debian jessie install on flash (kernel 3.16.0-4-686-pae).In the config file file i have the CONFIG_RTC_DRV_M41T80 flag that is not set and i would like to enable this flag like that : CONFIG_RTC_DRV_M41T80=mI have the associated driver and the .ko file.In order to enable this flag I know that i need go to /usr/src/kernel then make menuconfig but does not work (some scripts in basic folder are not found).
So my question is do i need to download the kernel source, compile in order to do the make menuconfig and enable this flag or i missed something?
Thanks