[bug#51619] [PATCH v3] gnu: linux-libre: Support the Coreboot framebuffer.

[Leo Famulari <leo@famulari.name>]

On Sun, Dec 12, 2021 at 06:45:15AM +0100, Tobias Geerinckx-Rice via Guix-patches via wrote:
> Without this, the kernel cannot write to the display until the
> full-featured driver module (often i915) is loaded from the root file
> system.
> 
> If the root file system is encrypted, the initrd's passphrase prompt
> won't make it to the screen, and the fully responsive system will appear
> frozen whilst waiting for user input.
> 
> * gnu/packages/aux-files/linux-libre/4.4-i686.conf,
> gnu/packages/aux-files/linux-libre/4.4-x86_64.conf,
> gnu/packages/aux-files/linux-libre/4.14-i686.conf,
> gnu/packages/aux-files/linux-libre/4.14-x86_64.conf,
> gnu/packages/aux-files/linux-libre/4.19-i686.conf,
> gnu/packages/aux-files/linux-libre/4.19-x86_64.conf,
> gnu/packages/aux-files/linux-libre/5.4-i686.conf,
> gnu/packages/aux-files/linux-libre/5.4-x86_64.conf,
> gnu/packages/aux-files/linux-libre/5.10-i686.conf,
> gnu/packages/aux-files/linux-libre/5.10-x86_64.conf,
> gnu/packages/aux-files/linux-libre/5.15-i686.conf,
> gnu/packages/aux-files/linux-libre/5.15-x86_64.conf:
> Mark simple framebuffers as generic system ones and enable ‘Google’
> firmware drivers to enable Coreboot table support and its dependent
> framebuffer driver module.
> * gnu/system/linux-initrd.scm (default-initrd-modules):
> Add the framebuffer_coreboot and simplefb modules on x86 systems.

Thanks, pushed as bc09e7ab569d5306ce99c5525150695c9d539ef0