samv71-xult: Add support for the MRF24J40 radio and create a mrf24j40-starhub configuration. A few fixes to IPv6 and 6LoWPAN were required to have 6LoWPAN and Ethernet coexisting. Untested and expect some complexity in the bring-up.

net/sixlowpan/sixlowpan_input.c

@@ -60,6 +60,7 @@
 
 #include "nuttx/net/netdev.h"
 #include "nuttx/net/ip.h"
+#include "nuttx/net/icmpv6.h"
 #include "nuttx/net/sixlowpan.h"
 #include "nuttx/wireless/ieee802154/ieee802154_mac.h"
 

net/sixlowpan/sixlowpan_tcpsend.c

@@ -51,6 +51,7 @@
 #include "netdev/netdev.h"
 #include "devif/devif.h"
 #include "socket/socket.h"
+#include "icmpv6/icmpv6.h"
 #include "tcp/tcp.h"
 #include "utils/utils.h"
 #include "sixlowpan/sixlowpan_internal.h"

net/sixlowpan/sixlowpan_udpsend.c

@@ -50,6 +50,7 @@
 
 #include "netdev/netdev.h"
 #include "socket/socket.h"
+#include "icmpv6/icmpv6.h"
 #include "udp/udp.h"
 #include "utils/utils.h"
 #include "sixlowpan/sixlowpan_internal.h"