framebuffer: set DIRTY_MEMORY_VGA on RAM that is used for the framebuffer