Re: [vdr] Which kernel to use?