Hi Ricardo, I was working on cross build support for guix deploy here: https://codeberg.org/guix/guix/pulls/11224. It cross builds a whole system, not just a kernel, so some (service) packages will probably fail to build.
I have not tried this, but if you use a custom kernel package, you can add a `#:target` argument. For a possible example, see `ath9k-htc-ar7010-firmware` in `(gnu packages firmware)`. Cheers, Herman
