Hi Guix,

I'm on a x86-64-linux (Guix System) host at commit 
7d6550eec7fe98517a2096d55760a4d5be3ad8ef. I have the binfmt service for 
aach64. I'm trying to build the example images in 
gnu/system/images/pine64.scm.

However, when I try with `guix system image pine64.scm` the build for 
gawk-mesboot fails with the attached log.

If instead I try with `guix system image --system=aarch64-linux 
pine64.scm` u-boot fails with the attached log.

Best,
Jack