Olá.
Para sistemas Debian e Ubuntu é bem simples instalar o xanmod. Basta ir no site e baixar o deb ou adicionar o repo e instalar o 5.3.8.
No entanto não consegui achar algum material para o Regata OS que usa o RPM.
Se o kernel Xanmod não tiver, há algum outro kernel voltado pra performance?
Você pode compilar o kernel por conta, aplicando o patch do XanMod.
Desculpe a noobada, mas o que é XanMod?
É um kernel com otimizações que fazem render mais nos jogos e programas de criação de conteúdo multimídia, feito por um brasileiro.
eu tenho um certo receio de fazer isso. MAs tentarei (claro, bkp no timeshift haha)
É um procedimento extremamente demorado, mas é bem simples, são poucos comandos e se não der certo é só reiniciar e voltar pro kernel anterior, não tem nada de inseguro.