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