/kernel/arch/avr32/boards/atngw100/