[coreboot-gerrit] New patch to review for coreboot: e7c7d40 include/*: Clarify correct typing of 'struct device *'