I just installed the Jelly Bean version of Android and the HDMI output resolution is now 640x480. I'm pretty sure the last version (which I overwrote) used a higher resolution... 1280x1024 native resolution. Ubuntu works at native resolution. Is there a way to configure Android to use the native resolution...? I could not figure it out.