[coreboot-gerrit] Patch merged into coreboot/master: b2d811a pit: Fix some settings for the exynos5420 CPU.

the following patch was just integrated into master:
commit b2d811aa9eae2f9292bd6e9eb3d7ee881ece0ab9
Author: Gabe Black 
Date:   Mon May 13 15:56:53 2013 -0700

pit: Fix some settings for the exynos5420 CPU.

Some of the settings which were defaulted to or automatically selected for the
    exynos5420 which were inherited from the exynos5250 were not correct for this
    SOC.

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

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

-gerrit