Hmm.  Just noticed that that one kernel version number says "config" at the
start instead of "kernel".  That's because I got the version number from the
config file in /boot.