I have down-graded to v1.40 and can confirm that the Dolby Digital output over HDMI is working again.
I tried everything that I could short of a full factory reset to get it working with v1.42 to no avail.
In the case of On Demand audio, the work around in v1.40 is to select PCM output before starting the on demand app.