Problem with rpi 4 (with librelec) pluged on a 4k TV