working on x4412's framebuffer driver