Update documentation/kernel-internal.md

Add ISR description and revise reference URL