`make_kernel` segfaults when called concurrently from async dispatch loop; needs guard or thread-safety