Tech support can specify the power-up sequence for you if you give them a call.

Alternatively, you could try increasing the Power On Delay of the TV so it waits longer before selecting the input. This MIGHT allow time for the cable box to be powered up before the input is selected.