I have just checked journalctl -b and today I have an entry: systemd-modules-load[352]: Failed to find module 'options snd_hda_intel id=[HDMI,PCH] index=1,0'
So as usual maybe this is systemd fault somehow? I find systemd documentation impenetrable, but I suppose that I will have to try and find out what is happening. Obviously it is somehow taking an parameter option as the name of a module.