kernel/sys.c: fix typo