[commits] [openwrt-feed-devel] master: batman-adv-devel: Use Linux 5.2 API again (6381b1d)