- Fixed small bug in syscall_read() when reading from stdin.