> The first and second half of the framebuffer are identical, so we can cut it in half to get our screen contents. I don't know why this happens, but we can easily make our display driver duplicate pixels to both halves of the framebuffer.

Double buffering?