Which kernel for framebuffering?