Kernel: tweaking for building