¿Has reiniciado el servidor desde que hiciste esos cambios en la configuración del kernel?
Quizás
lscpu
también sería útil.
¿Has reiniciado el servidor desde que hiciste esos cambios en la configuración del kernel?
Quizás
lscpu
también sería útil.