Your bug report #26714: non-intel systems should use grub-efi which was filed against the guix package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 26714@debbugs.gnu.org. -- 26714: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26714 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems