[B.A.T.M.A.N.] [PATCH net] Bug fix for batman-adv 2012-07-06