RPI3B+ does not reboot

[bob prohaska]

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. 

hth,

bob prohaska