MD5 (riscv32.img.gz) = ef09c72deef88bc016536b2dea7113f2