Hi all. Firstly I am pleased with my setup.
Though I'll ask a question.
How do I re-install the correct kernel ( ie from Ubuntu ) as I cannot go higher with this one as it breaks my install of VirtualBox.
Thanks.
Hi 
It's a pleasure to know you like your ubuntu mate setup !
You can update your kernel with mainline
sudo add-apt-repository ppa:cappelikan/ppa
sudo apt update
sudo apt install mainline
Be careful not to install kernel candidates or unstable ones, insure that checking this in mainline menu :
I have a boradcom wifi card on one of my computers that limit me to 5.8.0. It's the only issue I ever got upgrading to last kernels. Insure that you don't have such limitations before upgrading.
In case the upgrade break something, you can still run the previous kernel holding the Shift key during the gray screen at boot time, remove problematic kernel and try a other one.
I just forgot to add one thing, insure to disable secure boot inside bios - the kernel signature will change with a new kernel (it's normal) and your secure boot can disturb the OS boot.
1 Like
Thank you Olek. All sorted now.
Best
Kurt
1 Like