[commits] [batman-adv] maint: batman-adv: Fix build against recent Debian Stretch kernels (f8fd441)