[coreboot-gerrit] Change in ...coreboot[master]: src/mainboard/{foxconn/d41s,intel/d510mo}: Use pci_or_config