[commits] [openwrt-feed-devel] master: batman-adv-devel: Allow to use BATMAN_ADV_DEBUG without BATMAN_ADV_DEBUGFS (9f58031)