Updated kernel/array.c