Patch merged into coreboot/master: 46ff37f AMD Hudson: Printf the high address as unsigned integer

the following patch was just integrated into master:
commit 46ff37f6f24541e36956a63681cada0869d4fa08
Author: Zheng Bao 
Date:   Fri Sep 28 16:10:01 2012 +0800

AMD Hudson: Printf the high address as unsigned integer

Some 32 bit machines print integer higher than 0x80000000
    as negative number.

Change-Id: Ieb512ed2a7499ce7e91e45e4075d4f119780b57d
    Signed-off-by: Zheng Bao 
    Signed-off-by: Zheng Bao

Reviewed-By: Patrick Georgi  at Fri Sep 28 14:48:57 2012, giving +2
See http://review.coreboot.org/1547 for details.

-gerrit