Edit of the previous post: Sorry, I said something stupid. My Ubuntu Linux 12.10 is working with 3.5.0-22-generic kernel version, so it is even older than 3.5.7...
Edit of the previous post:
Sorry, I said something stupid. My Ubuntu Linux 12.10 is working with 3.5.0-22-generic kernel version, so it is even older than 3.5.7...