I had a couple of these too, I think it’s the same issue as in MIDI CC overload? Pretty hard crash it seems - #19 by Saki, the same fix of replacing request_irq with request_threaded_irq should apply, I’ll get it out soon. It shouldn’t be impacting audio though.
I see that Tinker Board S has “enhanced I2S with Slave Mode” as one of advertised features. Pisound’s ADC is the I2S frame and bit clock master. Found one tidbit on Tinker Board on the net saying ‘there are 2 USB2 ports available on the SoC, however the dev team for this board decided to dedicate one to an “HD Audio codec” instead of using the dedicated I2S/PCM output to do that job.’. This could mean that indeed the original Tinker Board can only act as the I2S master, and it can’t be used with Pisound…