[coreboot-gerrit] Patch set updated for coreboot: eff28f9 exynos5250: add missing address-of operator in UART driver