It was a faulty SD card problem. You can close this, as I can now report that Guix got installed properly on Armbian running on the OrangePiPC.
Thank you for filing a new bug report with debbugs.gnu.org.
This is an automatically generated reply to let you know your message
has been received.
Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.
Your message has been sent to the package maintainer(s):
bug-guix@gnu.org
If you wish to submit further information on this problem, please
send it to 47005@debbugs.gnu.org.
Please do not send mail to help-debbugs@gnu.org unless you wish
to report a problem with the Bug-tracking system.
-
47005: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47005
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems