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