documentation/kernel-internal.md: Update context swtich details