[MINT] Kernelupdate installieren

# Kernel in der Aktualisierungsverwaltung unter Anzeigen->Linux-Kernel herunterladen

# alle Ubuntu-Kernelupdates automatisch erhalten (einmalig eingeben)
sudo apt-get install linux-generic

# Update per Terminal auf den neuesten heruntergeladenen Kernel
sudo apt-get update && sudo apt-get dist-upgrade