diff --git a/drivers/Kconfig b/drivers/Kconfig
index 9923f1ca7bf..2f022b8d5a1 100644
--- a/drivers/Kconfig
+++ b/drivers/Kconfig
@@ -440,5 +440,3 @@ endif
 comment "System Logging Device Options"
 
 source drivers/syslog/Kconfig
-
-
diff --git a/net/Kconfig b/net/Kconfig
index d3e7b3b7293..719f837d03e 100644
--- a/net/Kconfig
+++ b/net/Kconfig
@@ -68,8 +68,7 @@ config NET_SOCKOPTS
 
 config NET_BUFSIZE
 	int "Network packet size"
-	default 562 if !NET_TCP && NET_UDP && !NET_SLIP
-	default 420 if NET_TCP && !NET_UDP && !NET_SLIP
+	default 562 if !NET_SLIP
 	default 296 if NET_SLIP
 	---help---
 		uIP buffer size.  Default: 562
diff --git a/net/net_allocroute.c b/net/net_allocroute.c
index eaa94eee754..a13b81d6ea8 100644
--- a/net/net_allocroute.c
+++ b/net/net_allocroute.c
@@ -41,6 +41,7 @@
 
 #include <stdint.h>
 #include <errno.h>
+#include <assert.h>
 
 #include <arch/irq.h>