[S390] Print kernel version in dump_stack() and show_regs().