I can't get my board to detect the WiFi chip over SDIO. I configured my boot SD card with a custom Linux install and everything is working except WiFi. It seems the WiFi chip is not recognized at all over the SDIO bus. dir listing of /sys/bus/sdio/devices shows nothing, so the kernel isn't even detecting the chip. I tried using STM32CubeMX to generate a device tree, but this didn't work, and in fact the resulting dts file has references to headers that don't even exist like stm32mp15xf.dtsi. However, the OpenSTLinux that shipped with the board works, and the WiFi chip is seen by the kernel. I have configured everything properly with my kernel config, so I'm not sure where the problem is. I suspect it is with the device tree, but as I mentioned I can't generate a new one due to the missing headers. What should I do?