I did read both of those pages as well as Jakiman's guide. I was under the assumption that kernel-config show would display the kernel settings in xterminal, but for me nothing happens when I run that command.