[coreboot-gerrit] New patch to review for coreboot: dd8d0c1 device/device_util.c: Add space after ellipse for better legibility