MD5 (riscv32.img.gz) = ad30da0c5bd374984a5fcd19fd8be43e