[B.A.T.M.A.N.] [PATCH v3] batman-adv: Fix build against recent Debian Stretch kernels