[coreboot] Re: Hidden PCI device question (from 4.13 release notes)