/arch/avr32/boot/images/