gdb has been fixed, so no need to reload the symbol file.
mention the need to reload the kernel symbols
add a script to load the symbol files of all the modules in the kernel