[thent]

Thomas, can you tell us which HifiBerry you have, and in what way it is broken? Also, are you running with device tree enabled or disabled? Any dmesg entries or other error messages would be helpful.

It's a Digi (non-plus), device-tree is enabled by

Code:

device_tree_overlay=overlays/hifiberry-digi-overlay.dtb

and the problem is, that it's not detected as output device so it can't be selected.
But let's wait for the next release since Milhouse has already commented on this issue.