Set the top bit for tagged pointers. am: 8dceacc296

Change-Id: I1c834a4c6a2e052aebd771a9afc41db5202481c3