best to my knowlage, /boot/config.txt ha no effect on Radxa device as config.txt as a RPI SBC configuration file. You would need to enable SPI/overlay on /boot/dietpiEnv.tx
I don’t have a Radxa device, but maybe following could help Can't get SPI to work with Rock Pi 4 - #4 by Nasker