Eu descobri qual era o problema:
Eu não especifiquei o caractere final \ n no final da minha mensagem do kernel. Se você deixar de fora, ele se comporta como descrito acima. A razão é que as mensagens do kernel são vistas como registros que são impressos apenas quando concluídos. Para obter mais informações, consulte este artigo sobre problemas no printk