Make size of framebuffer video options configurable