When I boot up the current Tumbleweed installer system on the Raspberry Pi,
HDMI output is not showing. This is related to the vc4 driver being unable to
properly load:

[   17.735109] vc4_hdmi 3f902000.hdmi: Could not register PCM component: -517
[   17.742312] vc4-drm soc:gpu: failed to bind 3f902000.hdmi (ops vc4_hdmi_ops
[vc4]): -517
[   17.750679] vc4-drm soc:gpu: master bind failed: -517

I think there are 2 bugs here really:

The first one is with vc4. It shouldn't declare itself as viable graphics
output driver (kicking out the well working efifb one) when it can not find all
of its dependencies.

The other one is that we probably need to include snd_pcm and snd_soc_core in
the linuxrc initrd so that vc4 does load properly and allows us to install:

rpi31:~ # lsmod | grep -i snd
snd_soc_core          237568  1 vc4
snd_pcm_dmaengine      16384  1 snd_soc_core
snd_pcm               151552  3 vc4,snd_pcm_dmaengine,snd_soc_core
snd_timer              36864  1 snd_pcm
snd                   106496  3 snd_timer,snd_soc_core,snd_pcm
soundcore              20480  1 snd

I'll leave it to Andreas to determine who to assign this bug to and thus which
path of the 2 to fix this we should take ;).