* gnu/packages/aux-files/linux-libre/4.19-x86_64.conf: Build DRM BOCHS support
as a module. It adds DRM support for BOCHS dispi vga interface used by
qemu (-vga std option). It will also be useful for QEMU 3.0 to enable the new
"bochs-display" display device.
* gnu/packages/aux-files/linux-libre/4.19-i686.conf: Ditto.