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