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