Steps taken so far:
apt-cache search linux-image*
apt-get install linux-image-...
I was now thinking of rebooting and selecting the new kernel when it appears on the GRUB menu, however:
Is it best practice to force GRUB to boot the new kernel by editing configuration files? Or would it be fine to manually select the kernel as this server is not rebooted frequently?
Is it possible to delete the kernel that appears under
uname -r
while I am using that kernel? Or will the shutdown and reboot process fail?