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

Change-Id: I04004e17add39e318af2ad8de2bc4ac1c95fbea7