[PATCH 04/44] vgacon: comment on vga_rolled_over