updating scripts with awk commands to modify .config files from kernels; need to edit kernel configuration file automagically