OK, if it still doesn't work, then compile the kernel yourself. It's not too
hard.
wget
http://linux-libre.fsfla.org/pub/linux-libre/freesh/linux-libre-3.13.5-source.tar.xz
tar -xJvf linux-libre-3.13.5-source.tar.xz
cd linux-libre-3.13.5-source/linux
for patch in 3078491 3078481 3074391 3074441 3074421 3074401 3074431 3074411;
do
wget -O -
https://github.com/raouldc/c720-touchpad-patches/raw/master/$patch.patch |
patch -p1
done
cd ..
Then follow the directions in README. Obviously, use the x86-64 config if you
have 64-bit and x86-32 if you have 32-bit. You can run 'arch' in a terminal
to find out.