You can build the device tree overlays for PS using the below shown menu config. You can provide dts/dtsi files with relative/absolute path with space separation. It builds the dtbos and packs them as part of the root filesystem in /boot/devicetree.
Figure 1. Carrier Card dtbos