2013-12-04, 16:23
@fritsch: When setting up my system, I installed the kernel that was part of the tutorial in the first post. When I do sudo apt-get upgrade now, there is a newer(?) kernel version showing up, which is held back. For having the latest, can I install (dist-upgrade?) that one from the repo (stock?) or should I use the compiled one you posted above?