I have the same issue. I tried setting /sys/class/graphics/fb0/modes to 1920x1080 but it did not help. All the modes that the device can support are in /sys/class/graphics/fb0/modes. The notification bar and the navigation bar are half chopped off.

I ordered a pair of IFC6410 boards that arrived last week. They have kernel version 3.4.0-g0f0fed7-00044-gef6f52c installed. it is dated from Oct. 15 2013.

I connected the Mini HDMI port to an HiDef television.

I cans see the output on the TV. However, the output is slightly oversized for my display.

I looked through the entire settings folder and could not find a way to adjust the output from my IFC6410. I also checked to see if there is a way to adjust the TV settings, but I didn not find any that helped.

I ordered a pair of IFC6410 boards that arrived last week. They have kernel version 3.4.0-g0f0fed7-00044-gef6f52c installed. it is dated from Oct. 15 2013.

I connected the Mini HDMI port to an HiDef television.

I cans see the output on the TV. However, the output is slightly oversized for my display.

I looked through the entire settings folder and could not find a way to adjust the output from my IFC6410. I also checked to see if there is a way to adjust the TV settings, but I didn not find any that helped.