[coreboot-gerrit] Patch set updated for coreboot: Add a driver for the parade ps8640