In file `raspberry-pi-os/docs/lesson01/linux/kernel-startup.md` there is a typo: "childern" should read "children". Submitting a quick fix.