Now try this installing a completely new kernel that isn’t on the system. I did this pulling a kernel from elrepo, the parameters appear. So, if you try this and they don’t for you, then that means something else is different on your system. Existing kernels aren’t the problem here. It’s installing new ones.