On Thu, 29 Jun 2017, Jared McNeill wrote:
6. Reset the board and hopefully things work for you.
Of course it won't work because I missed the step where you have to copy the kernel (netbsd.ub) and the correct .dtb file to the MSDOS partition on the SD card.
Good luck!