[jmcneill]

I wouldn't say "will never work". H5 is a Cortex-A53 and NetBSD can boot these just fine in aarch32 mode. The RPI2 kernel for example supports all models (32- and 64-bit) of Raspberry Pi except for the original.