Re: [U-Boot] [PATCH 10/10] AVR32: Board support for ATEVK1100