That's too bad. I did not follow the process described in the arch linux post, but just installed the latest version of the sof-bin firmware, as described on their readme (clone the git repository, enter the downloaded directory, execute "sudo ./install.sh v1.7.x/v1.7"). Then reboot. Luckily it works for me, and I see on your support post that they are planning to include it in the future (https://dev.getsol.us/D10544), which is great.