[coreboot] Patch set updated for coreboot: 6c9e7d7 Limit the device field to 5 bits.