Help booting NetBSD 9.0 on RPI2-1.2

[Caleb Malchik <cm%sdf.org@localhost>]

I'm having trouble booting NetBSD on my RPI2-1.2.  I've done the
following according to this page [0]:

 - download arm64.img.gz [1]
 - gunzip arm64.img.gz
 - dd if=arm64.img of=/dev/sde (sde is my uSD card on linux)
 - put it in the RPI and power up

It is then that I see a multicolored screen which lasts at least a few
minutes before I give up.  I've also tried the same process with
armv7, with the same result.  Mlelstv on IRC suggested that I copy
bcm2836-rpi-2-b.dtb to bcm2837-rpi-2-b.dtb on the armv7 image, but I
still get the same result.

Is there anything else I should try at this point?

Best,
Caleb

[0] https://wiki.netbsd.org/ports/evbarm/raspberry_pi/
[1] http://cdn.netbsd.org/pub/NetBSD/NetBSD-9.0/evbarm-aarch64/binary/gzimg/arm64.img.gz