[coreboot-gerrit] Patch merged into coreboot/master: 524625d drivers: Use DEVICE_NOOP macro over dummy symbol