linux/kernel26/arch/avr32/boot
