MD5 (bootriscv64.efi) = 8f71a2a7bc0c6a315591a11cb78091d3