[coreboot-gerrit] Change in coreboot[master]: device/device.h: Add `is_dev_enabled` function