[07:15] <juergh> ricotz, https://wiki.ubuntu.com/Kernel/BuildYourOwnKernel