dvisampler/edid: add nonstandard 1024x768 @ 30Hz mode
software/videomixer: increase framebuffer size