kernel/sys.c: improve code generation