core: rename `kernel` back to `nextptr` in set_kernel().