[PATCH] AVR32: Update defconfig