Understanding HDMI timings for a CRT (Kodi via Libreelec)