[coreboot-gerrit] Patch merged into coreboot/master: 8de0ca4 rambi: Fix eDP panel functionality