Patch merged into coreboot/master: 99ed2a8 exynos5420: Make the ps_hold_setup function public.

the following patch was just integrated into master:
commit 99ed2a83b5ae69d134333deaa7d326b9c0aa08b7
Author: Gabe Black 
Date:   Fri May 17 11:17:15 2013 -0700

exynos5420: Make the ps_hold_setup function public.

This function had been declared in a public header file, but was marked
    static when actually defined.

Change-Id: Ia551a5a12e7dbaf7bc00861e085695145ab7b91a
    Signed-off-by: Gabe Black 
    Reviewed-on: http://review.coreboot.org/3657
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

See http://review.coreboot.org/3657 for details.

-gerrit