Re: [U-Boot-Users] [PATCH 06/18] avr32: Add support for the ATSTK1006 board