O Gnome não encontra dispositivos de áudio

Question

Eu instalei o ArchLinux em um Dell XPS 15 L521X. Por algum motivo, quando o Gnome inicializa, não encontra dispositivos de áudio.

Seeumudarparaumterminalvirtualeusaromusicplayerbaseadoemterminalcmusparatocaralgumasmúsicas,derepenteelasaparecerão.

Os dispositivos em questão:

mike@longshot:~☺  lspci -nn | grep -i audio
00:1b.0 Audio device [0403]: Intel Corporation 7 Series/C210 Series Chipset Family High Definition Audio Controller [8086:1e20] (rev 04)
01:00.1 Audio device [0403]: NVIDIA Corporation GK107 HDMI Audio Controller [10de:0e1b] (rev ff)

Curiosamente, até mesmo executar esse comando lspci -nn | grep -i audio faz com que o Gnome encontre de repente os dispositivos de áudio.

Como posso fazer com que o Gnome encontre esses dispositivos de maneira confiável por si só na inicialização?