[coreboot] New patch to review for coreboot: 10fa51c Exynos5250: make vendor enums in the timing array much less prone to aliasing.