Thanks all for the clues and links. I have folded them all into the HOWTO: https://wiki.netbsd.org/ports/evbarm/raspberry_pi/ The remaining mystery is how the dtb name is encoded, perhaps in bootcode flashed in the RPI, not in bootcode,bin, or perhaps my skills reading binaries with emacs need improving.
Attachment:
signature.asc
Description: PGP signature