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