Node not found: arch/arm/plat-samsung/include/plat/arch/arm/plat-samsung/include/plat/arch/arm/plat-samsung/include/plat/arch/arm/arch/arm/plat-samsung/include/plat/arch/arm/plat-samsung/include/plat/arch/arm/plat-samsung/include/plat/arch/ (xilinx-v2016.4)