The sizes of pointers are now different for arm64. Update the few places where we should read a pointer size vs. regular int. Change-Id: Ib768a73ead973566ce6e7a86bcb8ace32a93b0d5
