Linux-Mint-Variante mit Kernel 7.0, Kernel-Management wird überarbeitet