MD5 (bootriscv64.efi) = 76f25bee8b3192d5f77343aded3bf2d2