I tested building for armhf and aarch64 with Guix at
0898fd56c910cc76d8b59bbe781f1a05ab78fad6, and it worked fine.
Closing.