OMG - I can confirm this issue is also happening on orange pi 5 with latest armbian  v25.5.1 + Linux 6.1.*-vendor-rk35xx    This is my armbianEnv.txt   The pwm only loads when I copy it into overlay-user. The really strange thing is that I have two of these boxes and the one that went through upgrades is working just fine but I'm trying a fresh install on another and no way to get the overlay to work except this hack