make vga screen_dump use DisplayState properly