SHA512 (netbsd-INSTALL) = 883889a7d904da9b52839f2f67891abbd0ae31460019e33bc9f51e1c3316e9cd5f16de5753a1a9defe09018f94b06d9cb4ecfcfe93d0b0dfa8b7872fbcb76713
SHA512 (netbsd-INSTALL_C700) = 272c1725ae3ba02c75787d4b1ac2b2b8c0c944db8aff5f09be9ed1b597509daf98a4b14847c02b296ae5244069ee2c9efb5188a204ba90a9c966a86b622d7e0d