CONFIG_AVR32=y CONFIG_TARGET_ATSTK1003=y