Print kernel version in addition to kernel revision.