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