[vdr] Which kernel to use?