Re: [PATCH 05/10] microblaze: cache: split flush_cache() function