Hai riavviato il server da quando hai apportato quelle modifiche alla configurazione del kernel?
Forse
lscpu
sarebbe anche utile
Hai riavviato il server da quando hai apportato quelle modifiche alla configurazione del kernel?
Forse
lscpu
sarebbe anche utile