Read pid_max from kernel