where can I modify the kernel at...I looked under ../src/.. but could not find anything. Any suggestions.