[coreboot-gerrit] Patch set updated for coreboot: a61dd9d armv7/exynos5250: Deprecate sdelay in favor of udelay