Estou executando o Ubuntu 12.10 64bit em um HP Pavillion dv6. Tudo funciona bem, exceto que aleatoriamente pego um kernel "não sincronizando" ao inicializar. Depois de reiniciar manualmente, geralmente recebo o mesmo erro; depois de algumas iterações em que eu experimento configurações diferentes (por exemplo, na bateria vs conectada), ela geralmente retoma o funcionamento normal e nenhum dano é feito.
Depois de tentar solucionar o problema, cheguei à conclusão de que deve ser o módulo acpi falhando: parece que, se eu desligar o laptop quando estiver usando a bateria, a menos que eu comece com bateria, eu pegaria o kernel pânico.
Este é um problema conhecido? Eu não conheço os componentes internos do acpi o suficiente para saber onde procurar.
Editar: Também seria bom saber se a atualização para versões mais recentes do Ubuntu tem a chance de resolver o problema (por exemplo, o módulo acpi foi atualizado com alterações que podem ser relevantes para esse problema?)