[coreboot-gerrit] Patch merged into coreboot/master: c7e5d79 exynos5250: add missing address-of operator in UART driver