[coreboot] Patch merged into coreboot/master: 770996f Exynos5250: make vendor enums in the timing array more debuggable.