Pessoal, defeito solucionado... Tratava-se de uma fuga intermitente no sensor de RGB, que vai na placa HLR. Este caminho não consta no manual de serviço, eu descobri por acaso, ao monitorar a linha de +VD3.3, que estava com um ruído devido ao excesso de consumo. Foi quando o aparelho desligou e piscou 7X.