adb: Don't assume that pointers fit in 32 bits