Another reproducer: guix build librem-ec-acpi-linux-module --target=aarch64-linux-gnu Fails with the same error. It doesn’t require external packages like the previous reproducer.