ARM: cacheflush: don't bother rounding to nearest vma