adjust hdmi output colorspace.
(0007 patch from geeXboX)
Fix perf tool