Has anyone tried changing the device tree of the kernel and having those changes reflected in the behavior of the board? For context, I am trying to disable the next-level-caches in the fu740-c000.dtsi files and using that to generate a new .dtb file which should, in theory, not let the device detect the L2 cache. But, I changed the file in U-Boot and the kernel and it did not do anything.