I'll have a look at what's needed to adapt the "getedid" scripts for RPi to work on extlinux ARM devices. Until then you can follow the Intel GPU guide in the wiki, it's generally applicable for all hardware using the kernel 'DRM' subsystem (which is everything these days).
decode-edid worked for me, to understand what I get from the display.
According to EDID data my display can't do 23.976 Hz, so it was a useless effort.
Though, I have a request:
Can you build in some kind of feature, to use 24Hz in case of a 23.976 fps file?
Atm it switches to 60Hz, which is uncomfortable.
I also looked if I can force 10bit output (s905x) - sadly I found nothing.
Is it a feature missing in kodi or lima?