[jmcneill]

RPi3 support was present in NetBSD 7.1 and 8.0. NetBSD 9.0 is the first release where you can run it in 64-bit mode.