Sorry for the late reply, but since I changed the kernel boot parameter, I didn't have any issues anymore. HDMI sound works. So there is no hurry to fix this in DT. Maybe something related, but CEC doesn't switch of my tv anymore, when I switch of Libreelec, I get the NO SIGNAL message.
regards, Roel