Added Colour space/range setting (hdmi_pixel_encoding)