/arch/avr32/boards/favr-32/