Fix for the "DEBUG KERNEL:" display in the initial system banner
and by the "sys" command when using a System.map file with a
Linux 3.0 and later debug kernel.  Without the patch, the kernel
version is not displayed in parentheses following the debug kernel
name.
(anderson@redhat.com)