[coreboot] Patch merged into coreboot/master: 82682d5 exynos5250: add uartmem_getbaseaddr() in uart driver