[coreboot-gerrit] New patch to review for coreboot: debb289 device/device_util.c: Fix wording in comment of `new_resource()`