[commits] [batman-adv] maint: batman-adv: Replace gw_reselect 64 bit div with shift (013aab3)