Re: [U-Boot] [U-Boot, 07/10] x86: Use correct printf() format string for uintptr_t