am 5f7b0005: Merge "64bit monitors are forced to 32bit in lock words."
am 5f7b0005: Merge "64bit monitors are forced to 32bit in lock words."

* commit '5f7b0005235538810bc4fd6d2f245b52c186618d':
  64bit monitors are forced to 32bit in lock words.

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst