[coreboot-gerrit] Patch set updated for coreboot: 6ffa11d Add simple_pcidev_t and simple_pnpdev_t