[U-Boot-Users] [PATCH 3/6] AVR32: Add support for the ATSTK1003 board