Change 0x%p to %p. Thanks Stefan for catching the one I introduced in 3931.
[coreboot.git] / src / arch /
drwxr-xr-x   ..
drwxr-xr-x - i386
drwxr-xr-x - ppc