../../../arch/nios2/boot/dts