WindowServer: Implement support for combined buffer flipping + flushing

Some devices may require DMA transfers to flush the updated buffer
areas prior to flipping. For those devices we track the areas that
require flushing prior to the next flip. For devices that do not
support flipping, but require flushing, we'll simply flush after
updating the front buffer.

This also adds a small optimization that skips these steps entirely for
a screen that doesn't have any updates that need to be rendered.

Userland/Services/WindowServer/Screen.h

@@ -165,7 +165,7 @@ public:
 
     bool can_device_flush_buffers() const { return m_can_device_flush_buffers; }
     void queue_flush_display_rect(Gfx::IntRect const& rect);
-    void flush_display();
+    void flush_display(int buffer_index);
 
 private:
     Screen(ScreenLayout::Screen&);