[B.A.T.M.A.N.] [PATCH v3 37/42] batctl: Move orig_interval setting to own file