After adding the repo, update the list and install the new kernel

$ sudo apt-get update
$ sudo apt-get install linux-libre64-3.4

Reply via email to