Documentation: add ARM user_debug to kernel-parameters.txt