[coreboot-gerrit] New patch to review for coreboot: 1a0eedf exynos5420: Make the ps_hold_setup function public.