Make max tty device number configurable