SHA512 (riscv64.img.gz) = 25b7e5e6d3e1c1714a8c03336ee2f52c3b6ef32a01c2ea02f3e0150f78820976f57f713de4f9255697531c727a4cbd89c925be3e910924c859fe455f0636d8b3