Building the Linux kernel