MD5 (riscv32.img.gz) = 712de2ef33530001cfbe3cebaba8138c