CONFIG_AVR32 is not available for thedefaultarchitecture x86.
Result is shown for architecture avr32

CONFIG_AVR32 (not configurable)

configname: CONFIG_AVR32

Linux Kernel Configuration
└─>AVR32
In linux kernel since version 2.6.19 (release Date: 2006-11-29)  
AVR32 is a high-performance 32-bit RISC microprocessor core,
designed for cost-sensitive embedded applications, with particular
emphasis on low power consumption and high code density.

There is an AVR32 Linux project with a web page at
http://avr32linux.org/.

selects
CONFIG_EMBEDDED