[coreboot] KGPE-D16 PCI passthrough

[Iru Cai]

Hi,

I have a problem about PCI passthrough on KGPE-D16. I plugged in a PCI to
USB adapter to the PCI slot, and it's in IOMMU group 7 with the ASpeed
video card and the LSI 1394a controller. I try to pass them all to a VM,
but then kernel crashes. I tried in Linux 4.9.47 and Linux 4.12.10.

Does anyone with KGPE-D16 have this problem?

Iru