MD5 (netbsd-INSTALL) = 0871665e01cf252532f54ee6b8f5e379
MD5 (netbsd-INSTALL_C700) = 52e82e245325caced2bd86f32a6de49d