Still trying to build the kernel