Warum den nicht? Nicht jeder mag eine Roling-Relase Modell wie bei Arch und co - hat ja durchaus seine Nachteile. Ich KANN auch einen Kernel kompilieren, (tu es aber nicht - viel zu aufwändig) und verwende trotzdem Linux Mint. Wenn man Cinnamon als DE bevorzugt, ist es nun mal die naheliegenste Wahl. Wie oben schon erwähnt wurde gibt es in den Repos auch noch andere Kernel.