Update kernel/syscall.c, kernel/sysfile.c, kernel/fat32.c,...

Update kernel/syscall.c, kernel/sysfile.c, kernel/fat32.c, kernel/include/defs.h, kernel/proc.c files