/arch/nios2/boot/