[coreboot-gerrit] Patch set updated for coreboot: 04b441b exynos5420: Alter init sequence as per recommendation