[PATCH] uintptr_t is unsigned long, not u32