MD5 (bootriscv64.efi) = 4f070e871095781180f0c16fdc32125a