How to (re)build a Linux Kernel: Difference between revisions