SHA512 (riscv64.img.gz) = a1df3ac05aedf559e6a6249de659401dc1725882aee40e1dc2c53aec1cd7271ebc70b3e592307e8a9f3d16417c6479dd3a2bf1662627c53f5dddef39b2ef8ae0