[tde-users] Re: Understanding kernel versions in Debian