avr32: Add support for the ATSTK1006 board