Sei que para trocar de kernel graficamente existe o Ukuu. No entanto, eu gostaria de comutar no kernel xanmod e o Ukuu só reconhece o kernel linux generic (acredito que seja esse o nome).
Aproveito o post para perguntar,
atualmente utilizo o kernel xanmod 5.3.8. A versaão mais atual até então estava dando muito screen tearing no Ubuntu, alguém está utilizando a mesma agora? Segue meu hardware