[coreboot] Patch set updated for coreboot: 67badbf exynos5250: remove CPU check from samsung_get_base_* macro