[coreboot-gerrit] Patch merged into coreboot/master: 1fb11d1 armv7/exynos5250: Deprecate sdelay in favor of udelay