bug#30893: report problem: cannot book guixSD from libreboot

[Mark H Weaver]

Wensheng Xie <xiewensh...@gmail.com> writes:

> Tried guixSD installation with USB and libreboot.
> It worked as you said - using
> *Search for GRUB2 configuration on external media

I'm glad to hear it.  Please let us know if you
run into any further problems.

     Thanks,
       Mark