Thanks.
But finally I tried the eLinux repo (as you told me so in the live tchat) and got a working kernel.