original_kernel/arch/avr32/boards/favr-32/Makefile