The boot problem is solved with https://issues.guix.gnu.org/74887.
The cross build problem isn't but is there: https://issues.guix.gnu.org/66866. Thus, I think this issue can be closed.
- bug#70865: Unable to generate a bootabl... Richard Sent
- bug#70865: Unable to generate a bo... Vincent Legoll
- bug#70865: Unable to generate ... jgart via Bug reports for GNU Guix
- bug#70865: to be closed? Yarl via Bug reports for GNU Guix
