>>                  (lambda* (#:key inputs #:allow-other-keys)
>>                    (setenv "BL31" (string-append (assoc-ref inputs "firmware")
>> -                                                "/bl31.elf"))
>> -                  #t))
>> +                                                "/bl31.elf"))))
>>                ;; Phases do not succeed on the bl31 ELF.
>>                (delete 'strip)
>>                (delete 'validate-runpath)))))
>> --
>> 2.32.0
>>
>>
>>
>> [0]: https://lists.gnu.org/archive/html/guix-commits/2021-05/msg00085.html

Thanks,
Pierre