[coreboot] Patch merged into coreboot/master: b8ad224 cbmem: replace pointer type by uint64_t

the following patch was just integrated into master:
commit b8ad2244686a801a96326d8075526d9b701ad982
Author: Stefan Reinauer 
Date:   Fri Jan 11 10:41:42 2013 -0800

cbmem: replace pointer type by uint64_t

Since coreboot is compiled into 32bit code, and userspace
    might be 32 or 64bit, putting a pointer into the coreboot
    table is not viable. Instead, use a uint64_t, which is always
    big enough for a pointer, even if we decide to move to a 64bit
    coreboot at some point.

Change-Id: Ic974cdcbc9b95126dd1e07125f3e9dce104545f5
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/2135
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

Build-Tested: build bot (Jenkins) at Fri Jan 11 19:54:39 2013, giving +1
Reviewed-By: Ronald G. Minnich  at Fri Jan 11 19:56:42 2013, giving +2
See http://review.coreboot.org/2135 for details.

-gerrit