Enter
sudo mhwd-kernel --list
to list available kernels.
Use follwing command to install:
sudo mhwd-kernel --install <linuxXXX>
Of course, <linuxXXX>
to be replaced with the kernel you like to install.
After re-booting into the new kernel, you can remove the old one:
sudo mhwd-kernel -r <linuxYYY>
<linuxYYY>
to be replaced by the name of the old kernel package.
Or you use the GUI tool designated for kernels.