You might as well recycle the power on the CTX just in case it's a port issue. That way the IVP8 and the CTX will both reset.