Hey folks, firstly let me tell you the excellent job you are doing on this project, so far i believe is this the only option for those wants to configure every single aspect on their devices it brings new life to our retro console. 
I reach out to you because I’m seeing a weird behavior regarding the subject in which details above, at beginning I thought it could be maybe an incompatibility with some themes but i just test one by one and found are working great, I mean the issue i had was when try to reboot or shutdown the device when the “random theme at boot” was set, so when this option was selected seems my RG35xx+ crash when reboot or shutdown I tried the options to safe reboot or safe shutdown, but it doesn’t work either, but when hard reboot and then disable the “random theme at boot” so the device reboot and shutdown perfectly.
Not sure if something related to any script or maybe an issue only with this kind of device, any advice?
Hope this post find you guys great today!
Best!