PCI is faked on these devices by SMM traps. Don't depend on that --
check for the chipset directly instead.
Signed-off-by: NDavid Woodhouse <dwmw2@infradead.org>