CONFIG_AVR32=y
CONFIG_TARGET_ATSTK1004=y