[coreboot] Patch merged into coreboot/master: 1088394 exynos5250: remove CPU check from samsung_get_base_* macro