[coreboot-gerrit] New patch to review for coreboot: b9f47cc include/device/device.h: Duplicate '*_pnp_devfn_t' typedefs