SHA512 (netbsd-INSTALL) = 11f8f3bbdb32481806aa9d90f8f21bdce2b956b6ad309c6442f75697bc5081effebf83565bcff88dc39951782fcdb1c4833b81fe42892aa3163b321636a0af7f
SHA512 (netbsd-INSTALL_C700) = 40e64198eca421e87a6c68625305ca388a0706d62d6137c98e41549f6aac1c25c3451b29ddfaa524edf31e72ec1b4d5d8ef4440c5e6d868e963caaacd7036c91