On Thu, 24 May 2018 10:35:33 +0200, Oliver Grawert wrote:
>this is not an ubuntu kernel, where did you get it from ?
This seems to be a kernel for a Raspberry Pi, see
Those Raspberry Pi techies are seemingly missing basic Linux
troubleshooting skills, perhaps they should consider to start with an
averaged Linux computer first, instead of using a Raspberry Pi.
Since the OP is booted to 4.9.80 and the modules are for 4.14.34, it's
most likely the issue mentioned by Nils. A kernel was updated and
perhaps the older running kernel was removed, but it was not rebooted.
Instead of posting a lot of irrelevant output, it might be worth to run
apt list --installed 'linux*'; lsb_release -a