I used the xsct command line flow to generate device tree sources for my design using custom IP as described here. The resulting dts files use #include to include the dtsi files instead of /include/, so I cannot compile them using just `dtc` (they must be preprocessed by a C compiler first).
How do I compile these files in the Linux kernel tree? I tried copying them to `linux-xlnx/arch/arm64/boot/dts` but that did not work. If I am not intended to do it that way, why does HSI produce #include statements instead of /include/ statements?