These are the working settings from /boot/config.txt
on the Raspberry Pi Raspbian install -- only the editted lines are shown - all the other settings were left at the defaults.
TODO: make a diff
# uncomment this if your display has a black border of unused pixels visible # and your display can output without overscan disable_overscan=0 # uncomment the following to adjust overscan. Use positive numbers if console # goes off screen, and negative if there is too much border overscan_left=-192 overscan_right=128 overscan_top=16 #overscan_bottom=-6 # uncomment to force a console size. By default it will be display's size minus # overscan. framebuffer_width=1280 framebuffer_height=960