最初からこの機能が×になっていて気持ち悪かったので、問い合わせたところ、
以下のサイトで最新版を手に入れるよう指示がありました。
https://drive.google.com/file/d/1ZLW9xXooh-E7gQ0tKTVnSiIXHXc1O9O8/view?usp=sharing
これをダウンロードしてEtherで再度送ったところ、サウンドの設定が有効になりました。
つまり、うまくいったということです。
しかしながら、上記サイトからダウンロードしたファイルは
CrowPi-image-PPI-48-Version.zip
というファイル名で、これは最初に私がダウンロードしたものと同じでした。
ファイル名が同じなので、もしかするとSDカードに書き込むときのなんらかのトラブルでサウンドの設定ができていなかったのかもしれません。
うまくいったのですが、このファイルをSDカードに入れ直すと、Raspberry Pi は再びすべての設定をしなおさなければなりません。
これは大変です。
ですから、最初に起動したときにいろいろな機能が動作しているか確かめることは大切なようです。