According to the post:
https://www.raspberrypi.org/forums/view ... 8#p1636828I changed the configuration file: /usr/share/alsa/cards/vc4-hdmi.conf
Now the output from "aplay -L" is:
default
Default ALSA Output (currently PulseAudio Sound Server)
sysdefault:CARD=vc4hdmi0
vc4-hdmi-0, MAI PCM vc4-hdmi-hifi-0
Default Audio Device
hdmi:CARD=vc4hdmi0,DEV=0
vc4-hdmi-0, MAI PCM vc4-hdmi-hifi-0
HDMI Audio Output
usbstream:CARD=vc4hdmi0
vc4-hdmi-0
USB Stream Output
sysdefault:CARD=vc4hdmi1
vc4-hdmi-1, MAI PCM vc4-hdmi-hifi-0
Default Audio Device
hdmi:CARD=vc4hdmi1,DEV=0
vc4-hdmi-1, MAI PCM vc4-hdmi-hifi-0
HDMI Audio Output
usbstream:CARD=vc4hdmi1
vc4-hdmi-1
USB Stream Output
The hdmi/passthrough is working in kodi. For pulseaudio some tweaking will be needed also.