am 56b1b4ed: am a1926cdb: Merge "ART: Fix ARM dmb placement in monitor-exit"

* commit '56b1b4edf22f0d5db393b1f5983d6b44fd9d91e0':
  ART: Fix ARM dmb placement in monitor-exit