MD5 (riscv32.img.gz) = 8baea0f8def5e0139e4629e038d80bca