To reproduce: $ guix build --system=armhf-linux fakeroot $ guix system image --system=armhf-linux -e '((@ (gnu system install) os-with-u-boot) (@ (gnu system install) installation-os) "teres-i")'
CC ludo and hogan bcs it seems that they are the last ppl who worked on the package at commit 01793ed03e8aa0960bff7adc21fd270e1527e68e and bcs nckx is still being dipshit who filters my submissions from the guix tracker