kernel-doc: remove old debug cruft from dump_section()