Pour que les logs du démarrage du kernel soient enregistrés, on peut activer le log du fichier boot.log.

Editer /etc/default/bootlogd, et mettre
BOOTLOGD_ENABLE=yes