ppc4xx: Enable 64bit printf format on 440/460 platforms
[oweals/u-boot.git] / include / sa1100.h