SHA512 (netbsd-INSTALL) = 3463419957969471969634c724022df96d1f7dab8cdf2920db3b703e91cf4431b541bb7bc89daa55fb4f339cc6ac5afd3058cdf9206f2f8f876a6c96fce761a3
SHA512 (netbsd-INSTALL_C700) = 8da34a1c93f64386d4224d20ab957bc46f5538d98b17d68fc149af92f4fa32de6053e705ee50a8a4f74521131864d33cbe5e4465dc7cba93d39bcb4355796042