This reverts commit 0d3ef65092. Reason for revert: This fix causes circular dependency with memory_range manipulation and TLB flush. See #1394. Change-Id: I4774e81ff300c199629e283e538c0a30ad0eeaae
0d3ef65092