On two occasions now I have lost all sound . KDE system settings is able to play sounds but nothing else. This is only cured by rebooting.
I suspect that the problem relates to this:
Dec 5 21:38:02 Lavankossot kernel: [ 6114.334163] hda-intel: IRQ timing workaround is activated for card #1. Suggest a bigger bdl_pos_adj.
root@Lavankossot:/home/alan/radioTV/get_iplayer-2.78# lspci | grep -i audio
00:1b.0 Audio device: Intel Corporation C600/X79 series chipset High Definition Audio Controller (rev 06)
01:00.1 Audio device: NVIDIA Corporation GF114 HDMI Audio Controller (rev a1)
and wonder if they are interfering with each other