shorten the Kernel display, showing just the numerical version