Avoid using variable-length arrays in kernel/sys.c