Thanks for the information Diederik, I hadn't noticed they had already been enabled for some time for arm64.
SND_SUN4I_I2S was requested in: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=921019 and DRM_DW_HDMI_I2S_AUDIO came in with ARCH_MESON which was requested in: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=852132 but both of those changes only concerned arm64. So my request to the kernel maintainers now is for these two modules to be enabled for armhf as well. Best wishes, Harold.