/kernel/arch/avr32/configs/