https://ubuntuhandbook.org/index.php/2018/12/install-linux-kernel-4-20-ubuntu-linux-mint/