Re: [U-Boot] [PATCH 0/10] Provide inttypes.h to avoid 32/64 bit problems with printf()