Kernel should build