Patch merged into coreboot/master: 642b1db Eliminate use of pointers in coreboot table

the following patch was just integrated into master:
commit 642b1db7336d4770d882684e42157103f3f38b19
Author: Stefan Reinauer 
Date:   Thu Apr 18 18:01:34 2013 -0700

Eliminate use of pointers in coreboot table

Because pointers can be 32bit or 64bit big,
    using them in the coreboot table requires the
    OS and the firmware to operate in the same mode
    which is not always the case. Hence, use 64bit
    for all pointers stored in the coreboot table.
    Guess we'll have to fix this up once we port to
    the first 128bit machines.

Change-Id: I46fc1dad530e5230986f7aa5740595428ede4f93
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/3115
    Reviewed-by: Paul Menzel 
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin

Build-Tested: build bot (Jenkins) at Sat Apr 20 02:28:48 2013, giving +1
See http://review.coreboot.org/3115 for details.

-gerrit