Kernel now builds