[coreboot-gerrit] Patch set updated for coreboot: d313829 parade: Add a driver for the parade ps8625.