Merge "ART: Fix ARM dmb placement in monitor-exit"