Re: [B.A.T.M.A.N.] [PATCHv2 next 3/4] batman-adv: fix size of batadv_icmp_header