bug#66866: aarch64 system cross compilation + pinebook pro image broken?

[Mathieu Othacehe]

Hello,

I can reproduce the error by running:

--8<---------------cut here---------------start------------->8---
./pre-inst-env guix system build --target=aarch64-linux-gnu 
gnu/system/images/pine64.scm
--8<---------------cut here---------------end--------------->8---

which cause an issue in gawk-mesboot:

--8<---------------cut here---------------start------------->8---
checking host system type... Invalid configuration `aarch64-linux-gnu': machine 
`aarch64' not recognized
configure: error: 
/gnu/store/rb75igdc6daly1mz2ivz7rs8hd85imdz-gash-boot-0.3.0/bin/bash 
./config.sub aarch64-linux-gnu failed
--8<---------------cut here---------------end--------------->8---

Janneke, do you know what could have caused this regression?

Thanks,

Mathieu