wow! That helped a lot and was so easy to install! Thanks a lot!
I can then confirm it worked on my Dell Latitude e6530 with Ubuntu 12.04, Kernel Linux 3.4.0-030400-generic.