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’.
