Yes, this is correct. And it will solve the issue for most other users to.
The CE device does read the EDID form the TV and some TV do not provide it when turned off. So the CE device does set an default resolution as it does not have the TV EDID information.
So the rule is that the TV needs to be on before the CE device get booted!