[coreboot-gerrit] Patch set updated for coreboot: e7cb1f4 roda/rk886ex: Move device changes to mainboard code from acpi tables code