linux/kernel26/arch/avr32/boards/atstk1000
