Comment 10 for bug 1737614

Seems the problem is worsened with new kernel in 18.04.

Linux [...] 5.3.0-42-generic #34~18.04.1-Ubuntu SMP Fri Feb 28 13:42:26 UTC 2020 [...] x86_64 GNU/Linux

After the last update, no more audio cards are detected, but `lspci` says:
lspci -v -d 8086:9d71
00:1f.3 Multimedia audio controller: Intel Corporation Sunrise Point-LP HD Audio (rev 21)
        Subsystem: Acer Incorporated [ALI] Sunrise Point-LP HD Audio
        Flags: bus master, fast devsel, latency 32, IRQ 16
        Memory at b1228000 (64-bit, non-prefetchable) [size=16K]
        Memory at b1200000 (64-bit, non-prefetchable) [size=64K]
        Capabilities: [50] Power Management version 3
        Capabilities: [60] MSI: Enable- Count=1/1 Maskable- 64bit+
        Kernel driver in use: snd_soc_skl
        Kernel modules: snd_hda_intel, snd_soc_skl