On Fri, Feb 26, 2016 at 10:09:29AM -0800, scott.lawson@intel.com wrote:

From: Scott Lawson <redacted>

These PCI device IDs in the AHCI driver conflict with proprietary drivers,
preventing them from loading.

So, the default ahci driver can't attach if these PCI IDs are in use?
I don't think breaking the upstream kernel for a proprietary driver is
a good idea.

Thanks.

-- 
tejun