Keith Hui wrote:
Looks like Linux kernel activated a couple PCI quirks
Why? Maybe coreboot can change to stop that from happening.
and claimed the ACPI and SMBus port ranges on top of what we already reported. Seems to be the source of the conflict.
Regardless of any quirks, that seems like a bug in Linux.
What is my proper next step?
Investigate why quirks are activated and if coreboot can do something to avoid that, and report/fix the bug in Linux.
//Peter