SHA512 (netbsd-INSTALL) = 20a848ec21006a4158e73b7ac882e45c5b575679a9c3242862716148c922ab861a14d12cace640f9d46e496cf1943694d261114ac9d8680c919c686f28a81b35
SHA512 (netbsd-INSTALL_C700) = 7e44c016daf5bb320d5aeda1e0a61215d3bce254b0805215b8b6fdd9fd760e7833f42ba01f903463598b1e718af733452beb4073cfaee52db2006332b6c7c553