Re: Configuring and building the kernel using clang