ARM: 7917/1: cacheflush: correctly limit range of memory region being…