Revise documentation/kernel-internal.md