[PATCH] batman-adv: Drop workaround for Debian's make-kpkg