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