[ChristianTroy]

So, if I understand, Wetek Core has Frame Rate Automation Kernel implemented but Wetek Play doesn't. Isn't it?

Because that kernel has been supported only for S8XX based devices.

Regarding the EDID and sync through ARC I have no problems with an Onkyo TX-SR508, I mean I have the exact same problem that I have with my HTPC and its nVidia card, where if you start Xorg with the TV turned off (even with HDMI pass-through enabled for the HDMI input where the htpc is connected) I get no output because of a null EDID.

Nvidia X11 driver support providing the EDID .bin file through an entry in a .conf file so I can work it around, on the Core I just have to make sure to turn on the device after the TV, but only if it's a fresh boot with AC power unplugged. Once started when you put it into standby it's like a pc S3 state (suspend to ram), and the EDID will persist.