I don't know how to fix this on guix's end, but I guess I now need tocomplain to upstream and hope they can work out a fix.
I've submitted an issue to upstream: https://github.com/openbios/openbios/issues/11
-- Andrew Patterson
- bug#60719: openbios-qemu-ppc fails to build on aarch64 Andrew Patterson
- bug#60719: Acknowledgement (openbios-qemu-ppc fails ... Andrew Patterson
- bug#60719: Acknowledgement (openbios-qemu-ppc fa... Andrew Patterson
- bug#60719: Acknowledgement (openbios-qemu-pp... Andrew Patterson
- bug#60719: openbios-qemu-ppc fails to build on aarch... Akira Kyle
