pretty kernel debug shell 'help' command