[coreboot] Patch set updated for coreboot: fd0b849 Exynos5250: make vendor enums in the timing array more debuggable.