Sean,

Thomas Gleixner [off-list ref] writes:

Sean V Kelley [off-list ref] writes:

quoted

So I will ensure we actually create useful information pointing to this
behavior either in kernel docs or online as in a white paper or both.

Great.

quoted

quoted

As we have already quirks in drivers/pci/quirks.c which handle the
same issue on older chipsets, we really should add one for these kind
of systems to avoid fiddling with the BIOS (which you can, but most
people cannot).

quoted

Agreed, and I will follow-up with Kar Hin Ong to get them added.

Much appreciated.

Any update on this?

Thanks,

        tglx