Hi,
I don't know if this is the correct place to post this question.

I downloaded the kernel 3.10 from:
http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10-rc1-saucy/

I installed it, rebooted...