Re: [Wlug] kernel choices in Debian