Update kernel-parameters.txt