UDOO is detecting my HDMI monitor correctly and the output is fine. However the monitor has a border that obscures some pixels all around (top, bottom, left and right edges). How can I re-size the GNOME desktop so it will fit on visible part of my screen? I know I can do this on a raspberry pi. (Raspi-config).