Kernelbearbeitung in der Aktualisierungsverwaltung Mainline Kernel unter Linux Mint nutzen Das PPA Mainline mit UMKI Das PPA Mainline