[AVR32] Add mach-specific Kconfig