microblaze: cache: split flush_cache() function