Não é incomum ter problemas no caminho de reinicialização em hardware personalizado, já que esse código geralmente não é testado muito. machine_restart uma das últimas funções chamadas para reinicializar uma máquina PPC, e essa mensagem "System Halted ..." só será exibida se a função restart () específica da máquina não estiver configurada ou não executar a reinicialização. Você não está fazendo nada errado; Ambas as possibilidades são bugs do kernel, e devem ser corrigidas por quem personalizou o kernel para o seu fórum.