Update kernel-internal.md