RPI3B+ does not reboot

[Trev]

bob prohaska wrote on 03/07/2018 10:22:
> On Mon, Jul 02, 2018 at 02:58:30PM +0000, Wis Macomson wrote:
>> Can you disconnect the serial TX data (data to the RPi) and try the reboots?
>>
>> It may be that this signal is partially powering the processor through the input ESD protection diode, leading to very awkward internal states. This has been observed on the Rock64 (RK3328 SoC) and Rockpro64 (RK3399).
>>
>> If you can just break the TX connection, you'll be able to see the boot messages.
>>
> 
> Updating from the June 28 snapshot (which did it twice) to r335835 seems to make
> the problem go away.

r335854 compiled Mon Jul 2 16:03:04 AEST 2018 and I still have the 
"cpu_reset failed" issue :(