[PATCH v2 11/14] microblaze: cache: introduce flush_dcache_range()