SHA512 (netbsd-INSTALL) = f05a78e319448fd94d87e88d48736f07a2e7e0cb56010147d5765b183414bf7d7ebc9711d28145237cd0ee87d2b53b9f6aab44ca456028780b0ebb05bb9e75f9
SHA512 (netbsd-INSTALL_C700) = 4f26887510ecb6e1c7fe94bc356b967bee6eb3327e0e3ca7790aaf41d89b8d25ecc656486a4f17e6f3c967774dcf8e75165be4e739d6cef6ea25c3a645f5b129