[coreboot] Patch merged into coreboot/master: a48918f Persimmon, Inagua: PCI devs 12.1, 13.1 (USB) don't exist, but 14.6 (GEC) does