[coreboot-gerrit] Patch set updated for coreboot: edb6dcb Baytrail: Fix no_dev_behind_port not executed for RP1/2/3.