Não, as mensagens do kernel não estão documentadas. Eles são geralmente destinados a desenvolvedores ou administradores de sistemas experientes. Poucos são de interesse para usuários comuns e, infelizmente, não são selecionados.
A maneira de descobrir o que uma mensagem de kernel significa geralmente é encontrar o local no código fonte ( LXR pode ajudar) ou para encontrar uma mensagem ou página na Internet que a mencione.
Eu não estou familiarizado com esta mensagem em particular, mas uma pesquisa na web sugere que ela não vem do kernel, mas do VirtualBox.