/kernel/arch/nios2/boot/