I’m trying to use an ads7846 dtoverlay (similar to how I was doing for the raspberry pi in /boot/config.txt), but the overlay doesn’t seem to be loaded properly. Has anybody been able to get a raspberry pi dtoverlay working and configure the parameters properly?