/usr/src/linux-headers-5.15.0-190/arch/arm64/boot/dts/intel
Edit: /usr/src/linux-headers-5.15.0-190/arch/arm64/boot/dts/intel/Makefile (211B)
# SPDX-License-Identifier: GPL-2.0-only
dtb-$(CONFIG_ARCH_INTEL_SOCFPGA) += socfpga_agilex_socdk.dtb \
socfpga_agilex_socdk_nand.dtb \
socfpga_n5x_socdk.dtb
dtb-$(CONFIG_ARCH_KEEMBAY) += keembay-evm.dtb