[PATCH 07/10] microblaze: cache: introduce flush_cache_all()