AVR32: Make cacheflush cpu-dependent