[coreboot] New patch to review for coreboot: 4bd00a2 Rename devices -> device