Re: [U-Boot] [PATCH 5/6] Make *printf() return "int" instead of "void"