I have seen a possible problem with the new build-in autoresolution.

When I disable autoresolution and set the resolution manually to HDMI 1080i, the box always uses 1080i for all channels.
When I enable autoresolution and select 'all resolutions', the box changes resolution properly, according to the channel I'm watching.
When I enable autoresolution and select 'HD only', the box changes resolution to 720p when I restart on an SD channel.
After that resolution NEVER changes, even when I switch to a HD channel, which broadcasts 1080I. The box always used 720p.

I am using OpenATV from 31-10-2013 on a DM8000HD.

Is this a know problem?