[coreboot-gerrit] Patch merged into coreboot/master: 842f0ba Add pnp_devfn_t and use with __SIMPLE_DEVICE__