Hi Hans,
Looks like CONFIG_OMAP4_DSS_HDMI_CEC=y blocks SoC core retention idle on omap4 if selected.
Should we maybe move hdmi4_cec_init() to hdmi_display_enable() and hdmi4_cec_uninit() to hdmi_display_disable()?
Or add some enable/disable calls in addtion to the init and uninit calls that can be called from hdmi_display_enable() and hdmi_display_disable()?
Cheers,
Tony