RPI3 serlial clock confusion?

[Frank Kardel <kardel%netbsd.org@localhost>]

Using the image from 
http://nycdn.netbsd.org/pub/NetBSD-daily/HEAD/202007080050Z/evbarm-earmv7hf/binary/gzimg/armv7.img.gz

The bot succeeds, but after the message starting local daemons.

Setting securelevel: kern.securelevel: 0 -> 1
Starting virecover.
Starting devpubd.
Starting local daemons:.
[garbled]

machdep.cpu.frequency.target: 600 -> 1400 is the next line in the HDMI 
screen.

The next message is the setting of the maxiimum frequency which hoses the

RPI3B serial port speed. Do we have a clock setting/source issue here?

Older releases (9.0, 9.99.56) do not change the serial port setup at 
that point.

Frank