As the instructions say you need to try *all* dtbs of a given type to find the one that best matches your hardware. P200 is just the reference board designation, it is nothing special. All of the gxbb dtbs are essentially p200 variants. There are 10s if not 100s of different boards using the s905, each with unique hardware, each requiring a different dtd that matches that hardware. But the vast majority of boards do not have matching mainline kernel dtb. So we try the ones that do exist and hopefully one works good enough (but it is highly unlikely that it will work well - which is why in the FAQ it says not to expect things like wifi and Bluetooth to work at all)