My device is a Raspberry Pi 3 B+. Supposedly having dtparam=audio=on in /boot/config.txt will enable the audio device, but with the current uboot-raspberrypi and linux-aarch64 it does nothing. Either way only a "vc4hdmi" will show up in `aplay -l`.
If I use this prebuilt rpi kernel: https://aur.archlinux.org/packages/linu ... rrypi-bin/ (which replaces both linux-aarch64 and uboot-raspberrypi), the bcm2835 sound card will show up if I have dtparam=audio=on in /boot/config.txt.