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