MD5 (netbsd-INSTALL) = 88d89aab3dc97dc3ed62bda7d54138de
MD5 (netbsd-INSTALL_C700) = a312fc9f3bb5e4c3a5482eaaea98a069