Re: [U-Boot] [PATCH 03/10] AVR32: Make cacheflush cpu-dependent