[U-Boot] [RFC PATCH v2 19/20] Use uintptr_t for 32/64-bit compatibility