MD5 (bootriscv64.efi) = 416db2d62f432f7913ca138b6e6b1e4d