Use dmb.

We don't support ARM processors that don't have dmb anyway.

Change-Id: I41b15a1592febcc0b33d93c291431d00692a2928
Merge "Use dmb."
Merge branch 'master' of https://android.googlesource.com/platform/art