No sound audio over HDMI Ubuntu Gnome

Please update the dtb debian package manually.

$ wget https://dl.khadas.com/.test/linux-dtb-amlogic-5.4_1.0.11_arm64.deb
$ sudo dpkg -i linux-dtb-amlogic-5.4_1.0.11_arm64.deb
$ sync
$ sudo reboot

After reboot, please check again.