dholland 0c2366cfe9 Print kernel version string along with the size output, to avoid having
to dig it out manually if installing by version number... and also to
make it somewhat easier to notice up front if one accidentally boots
the wrong test kernel. not like I've ever done that. ;-)

PR kern/38563.
2008-05-14 18:15:41 +00:00
..
2008-05-05 13:42:15 +00:00
std