The "max" option to devpts got introduced in kernel 3.4. Closes #2490. Signed-off-by: Christian Brauner <christian.brauner@ubuntu.com>
