[coreboot-gerrit] Patch merged into coreboot/master: dc878b4 include/device/device.h: Deduplicate '*_pnp_devfn_t' typedefs