bug#30893: Acknowledgement (report problem: cannot boot guixSD from libreboot)