options vmwgfx enable_fbdev=1