Patch merged into coreboot/master: ef40209 cbfs: 64-bit cleanups

the following patch was just integrated into master:
commit ef4020957e009f2861522549927069d6e9d39959
Author: Ronald G. Minnich 
Date:   Mon Nov 11 10:36:28 2013 -0800

cbfs: 64-bit cleanups

cbfs used u32 in a number of cases where uintptr_t was
    correct. This change builds for both 64-bit and 32-bit
    boards.

Change-Id: If42c722a8a9e8d565d3827f65ed6c2cb8e90ba60
    Signed-off-by: Ronald G. Minnich 
    Reviewed-on: http://review.coreboot.org/4037
    Tested-by: build bot (Jenkins)
    Reviewed-by: Vladimir Serbinenko 
    Reviewed-by: Aaron Durbin

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

-gerrit