move some of the defs from kernel to the kernel toolchain