Patch set updated for coreboot: 5417528 Rename devices -> device