CONFIG_AVR32=y CONFIG_TARGET_HAMMERHEAD=y