bug#18571: Sound card codec module not loaded

[Ludovic Courtès]

This was also fixed by commit d460204 (so it’s a duplicate of
<http://bugs.gnu.org/18525>.)

Now I get this directly when booting:

--8<---------------cut here---------------start------------->8---
[    5.632899] snd_hda_intel 0000:00:1b.0: irq 30 for MSI/MSI-X
[    5.759840] sound hdaudioC0D0: autoconfig: line_outs=1 (0xe/0x0/0x0/0x0/0x0) 
type:line
[    5.759872] sound hdaudioC0D0:    speaker_outs=1 (0xd/0x0/0x0/0x0/0x0)
[    5.759894] sound hdaudioC0D0:    hp_outs=1 (0xb/0x0/0x0/0x0/0x0)
[    5.759913] sound hdaudioC0D0:    mono: mono_out=0x0
[    5.759929] sound hdaudioC0D0:    inputs:
[    5.759944] sound hdaudioC0D0:      Dock Mic=0xf
[    5.760767] sound hdaudioC0D0:      Internal Mic=0x11
[    5.761572] sound hdaudioC0D0:      Mic=0xa
--8<---------------cut here---------------end--------------->8---

Closing the bug!

Ludo’.