[coreboot] Re: Fixing Hidden PCI devices on Intel common SoCs