Have you rebooted the server since making those kernel config changes?
Maybe
lscpu
would also be helpful