Daniel Mack wrote:
> Also, when booting Linux, the LED driver does not work with
> coreboot for me.

The issue is that the driver is using a hard coded base address
rather than finding out what is actually programmed into the device,
and because coreboot doesn't assign resources exactly like the
factory BIOS, the driver can't find the hardware.