Hello and welcome to the forum,
I think it should work after making changing to the dtb file name in extlinux.conf
Hello and welcome to the forum,
As said it should work atleast to boot the device. I have no idea which dtb to be used for these devices.
No idea about LibreElec image you might have to try the box image and change the dtb accordingly.
After using the generic dtb, it is not confirmed whether all the IO will work out of the box.
This is a tutorial Link
Try it and let me know. Reply back on the amlogic link. This thread is for general discussion.