util: Extract flush_icache_range to cacheflush.c