Delete build_kernel