Você reiniciou o servidor desde que fez essas alterações de configuração do kernel?
Talvez
lscpu
também seja útil