[coreboot-gerrit] Patch merged into coreboot/master: ad4556f exynos5420: Make USB A-A booting work with early data cache