[coreboot-gerrit] Patch set updated for coreboot: ece588c libpayload: Add Rock Chip drivers