Fix kernel_route on 64-bit variant of BSD
Fix kernel_route on 64-bit variant of BSD

woniullb/babeld,wlanslovenija/babeld,jech/babeld,wlanslovenija/babeld,tcatm/babeld,Gwendocg/babeldToS,boutier/babeld,sudomesh/babeld,Gwendocg/babeldToS,Drooids/babeld,jech/babeld,dtaht/babeld-shortrtt-metrics