MD5 (bootriscv64.efi) = a80f00cef2de2feb67188be3c5d729b5