[coreboot-gerrit] Patch set updated for coreboot: adbef6a exynos5420: Make the ps_hold_setup function public.