kernel/pid: restore standard PID_MAX_DEFAULT value

Submitted by Konstantin Khorenko on Nov. 15, 2016, 4:20 p.m.

Details

Reviewer None
Submitted Nov. 15, 2016, 4:20 p.m.
Last Updated Nov. 16, 2016, 3:23 a.m.
Revision 1

Revisions