Building and installing the kernel