/usr/src/linux-headers-5.15.0-181/arch/arm64/boot/dts/microchip
Edit: /usr/src/linux-headers-5.15.0-181/arch/arm64/boot/dts/microchip/Makefile (222B)
# SPDX-License-Identifier: GPL-2.0
dtb-$(CONFIG_ARCH_SPARX5) += sparx5_pcb125.dtb
dtb-$(CONFIG_ARCH_SPARX5) += sparx5_pcb134.dtb sparx5_pcb134_emmc.dtb
dtb-$(CONFIG_ARCH_SPARX5) += sparx5_pcb135.dtb sparx5_pcb135_emmc.dtb