MD5 (riscv32.img.gz) = 80f4009b9ce550267d8bed7bfe85df6c