HDMI-CEC blocked by THEC64mini?