Improved cscope/ctags commands for kernel