original_kernel/arch/avr32/boards/merisc/Kconfig