Re: [U-Boot] [RFC PATCH 4/8] arm: printf() is not available in the SPL