Você precisará editar seu /etc/syslog.conf .
Adicionando uma linha como:
kern.* /dev/tty10
Produzia todas as informações do kernel para esse tty. Você precisará descobrir qual tty está atribuída a contol-alt-f12. Existem muitos outros exemplos em man syslog.conf .