Input: document i8042.debug in kernel-parameters.txt