You should ask for what is needed on the guix-devel@gnu.org list.  Our ARMv7 port is new, and GuixSD cannot yet run standalone on it.  I'm curious if your hack will work since it will contain things built outside of the Guix dependency tree.  Let us know how it goes!