Barrapunto

Esto es lo que estaba buscando, pero para tocar parámetros del kernel en el arranque, mejor en el fichero /etc/sysctl.conf [ed.ac.uk], colocando 'kernel.panic=5' en el mismo.