The CONFIG_DEBUG_INFO_NONE option was set to 'y' in the Linux kernel's .config file. I changed this option to 'n' and I recompiled the kernel and was able to view source code in GDB -tui.