Trouble loading device tree overlays

Linux Kernel
3

Hello,
for those looking for solution here, I have described it in at this thred: https://forum.rocketboards.org/t/problem-with-fpga2hps-bridge/990/9 .