https://bugs.freedesktop.org/show_bug.cgi?id=83792
--- Comment #13 from Tim Nelson wayland@wayland.id.au --- 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.