[coreboot-gerrit] Patch merged into coreboot/master: 0570286 pit: Enable the ps8625 driver.

the following patch was just integrated into master:
commit 0570286849b856aff304f5b6cb50c29cde5f1308
Author: Gabe Black 
Date:   Sun Jun 30 06:09:12 2013 -0700

pit: Enable the ps8625 driver.

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

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

-gerrit