[B.A.T.M.A.N.] [PATCH 09/10] staging:batman-adv:correctly name the configuration option for debugging