Now I’m defo confused 
This thread ‘which dtb do I use’ ❓ Which DTB do I use? takes you to the download page https://coreelec.org/#download
Then when you click on the link ‘search for the right device tree’ it takes you back to the thread again!!??