Re: [U-Boot] [PATCH v2 2/9] AVR32: Make cacheflush cpu-dependent