Sweet, didn't think of this as one of the potential upgrades. I just installed Manjaro ARM (64-bit) on mine yesterday, along with SBCL. Sure enough, :SB-THREAD is there! Thanks for the tip.