Patch set updated for coreboot: 8d71155 Rename devices -> device