adding IPv4 support in kernel_socket.c
adding IPv4 support in kernel_socket.c

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