MD5 (riscv32.img.gz) = 42bc05e9cc2d40c8c3eaeda4ea4ea62d