MD5 (bootriscv64.efi) = 88138741cc77451db07b15ebf515cdc1