The audio seemed to be disabled after an update earlier today. Machine is RPI3, uname -a reports
Linux raspberrypi 4.9.28-v7+ #998 SMP Mon May 15 16:55:39 BST 2017 armv7l GNU/Linux
The machine has been using audio (via HDMI) by default and no intentional changes were made.
If I do try to change audio settings using raspi-config, a dialog reports There was an error running option A4 Audio and nothing changes.
The audio icon in the upper right menu bar has a red X through it.
It's tempting to think a driver went missing, but I've no clue where to look; up to now audio has worked without so much as a thought.
Anybody got a hint?
Thanks for reading!
bob prohaska