https://notabug.org/isengaara/debian-guix-installer
The next step will be building a debian package for the libreboot tools (patched flashrom and cbfstool). The software has been built on Trisquel 7 but it will run on any system as it is statically linked.