print_symbol() becomes a NOP when CONFIG_KALLSYMS=n, so we loose
the new line character as well.  Explicitly call printk("\n").