Re: [PATCH v3 03/20] kconfig: Remove leftover references to AVR32 symbol