[coreboot-gerrit] Patch set updated for coreboot: ba6fc41 rambi: Fix eDP panel functionality