[coreboot-gerrit] Patch set updated for coreboot: 7d0dbca rk3288/pinky: Move uart address to mainboard Kconfig