Merge "libc: fix typo in kernel helper script"