platform:vga-framebuffer