libc: fix typo in kernel helper script

Change-Id: I3b75b1323cf7a48cb839dede1552f24711847335
1 file changed