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

--- SoupGate-Win32 v1.05