MD5 (bootriscv64.efi) = d531958e2a205fb5d91c92e7d1203f3b