Re: [U-Boot] [PATCH] ppc4xx: Enable support for 64bit printf on all PPC4xx variants