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