kernel/sys.c: fix "warning: do-while statement is not a compound statement" noise