RPI3B+ does not reboot

[Ronald Klop]

Hello,

My RPI3B+ does not reboot if I run GENERIC-NODEBUG. It works properly on a  
GENERIC kernel.

# uname -a
FreeBSD rpi3 12.0-CURRENT FreeBSD 12.0-CURRENT #2 r335679: Thu Jun 28  
02:33:01 CEST 2018      
builder at rpi3:/mnt/ssd/data/src/obj-head/mnt/ssd/data/src/head/arm64.aarch64/sys/GENERIC-NODEBUG   
arm64

The output ends with:
All buffers synced.
Uptime: 1d1h28m21s
Rebooting...


And then it does not do anything and I have to do a power off/on cycle.

Any thoughts about this?
I have a serial cable connected so I can run some debugging commands if  
necessary.

Regards,
Ronald.