Re: Which kernel for framebuffering?