CoreElec works correctly if I connect the HDMI directly to the TV, but if I do it through HDMI ARC it does not give me an image. In 1080i resolution it does give an image, but if I change to 1080p or 4K, it does not give an image. I have not tried CoreElec Matrix, but is it possible that it is a problem of CoreElec Nexus?