Node not found: arch/powerpc/platforms/85xx/arch/powerpc/platforms/85xx/arch/powerpc/platforms/85xx/arch/powerpc/platforms/85xx/arch/powerpc/platforms/85xx/arch/powerpc/platforms/85xx/arch/powerpc/platforms/85xx/arch/powerpc/platforms/85xx/smp.h (xilinx-v2016.4)