Acho que posso dizer que resolvi esse problema.
Eu baixei Mfgtools-Rel-1.6.2.042-Linux-Android-V11.zip
da homepage do aValue e usei o kernel pré-compilado naquele arquivo ao invés daquele do CD fornecido e o problema desapareceu. A data de criação do novo kernel foi alguns meses depois do kernel de reinicialização, então eu acho que aValue resolveu esse problema e o publicou em sua homepage.
Eu não vi nenhum changelog e nem me incomodei em comparar qualquer código fonte para ver o que causou este problema. Não consigo nem lembrar se o arquivo Mfgtools forneceu o código fonte.