kernel: adding WITH_CTF=1 to src.conf