ARM: 6380/1: Introduce __sync_icache_dcache() for VIPT caches