Thank you for your quick reply! 
I will try with a different SD card and see if that fixes anything.
At first I thought it was a temperature issue, but even leaving it all night didn’t let it boot back up (it hung on solid red light). This is regardless of whichever module is activated.
So far the only thing that has worked is removing the microsd card and removing recovery.bin via Windows.
I am loving my time with patchboxOS and pisound… It really is opening up entire new worlds of music joy for me… I just need to work out the no boot issue here.
Thank you again!
EDIT: Oh happy day! Updating to the beta version of Pisound via sudo apt etc seems to have fixed this (as described here). Thank you for keeping up with the development of patchbox. I’m sure you know already how revolutionary this is for people like me who enjoy dabbling with the Raspberry Pi but don’t want to compile our own kernels or whatever.