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