/u-boot/arch/avr32/