updating our kernel configs a bit - moving WITH_CTF=1 into the configs using makeoptions lines