This is a set of packages to work around:
respeaker/seeed-voicecard#251 Spinlock issue / "BUG: scheduling while atomic"
To use, run "sudo dpkg -i ..." on 4 of the deb's, except linux-buildinfo (it is not needed, just provided for completeness).
Afterwards, "cd /usr/src/linux-headers-5.4.0-1030-raspi" , then "sudo tar -xzpvf ..." the addons.tgz file.
You also likely want to do sudo apt-mark hold linux-image-5.4.0-1030-raspi sudo apt-mark hold linux-headers-5.4.0-1030-raspi etc, for each of the 4 package names to prevent them from getting auto-upgraded, after the 'dpkg -i ...' command above
. You can verify with apt-mark showhold and undo with apt-mark unhold name.
The *.sig are gpg signatures, for security-conscious people. If you don't know what they are, you don't need them.