Hi, > We include older kernel versions: linux-libre-4.4 and linux-libre-4.1, > which you can select via the 'kernel' field of the OS configuration, > e.g.: (kernel linux-libre-4.4) > > Can you try these and see if the problem persists?
I tried these kernels and still have the problem (with GuixSD + libreboot x200). Clément
