Configuring and building the kernel using clang