Index: uspace/drv/bus/adb/cuda_adb/cuda_adb.c
===================================================================
--- uspace/drv/bus/adb/cuda_adb/cuda_adb.c	(revision af9f2713e4ff69fa111b9bbbc7ad69ee5fb841ce)
+++ uspace/drv/bus/adb/cuda_adb/cuda_adb.c	(revision 6ba2db4bffeb6bfa69b526a2a7b2bc0c00eec661)
@@ -46,5 +46,4 @@
 #include <stdbool.h>
 #include <stddef.h>
-#include <sysinfo.h>
 #include <stdint.h>
 #include <stdio.h>
Index: uspace/drv/nic/rtl8169/driver.c
===================================================================
--- uspace/drv/nic/rtl8169/driver.c	(revision af9f2713e4ff69fa111b9bbbc7ad69ee5fb841ce)
+++ uspace/drv/nic/rtl8169/driver.c	(revision 6ba2db4bffeb6bfa69b526a2a7b2bc0c00eec661)
@@ -43,7 +43,4 @@
 #include <pci_dev_iface.h>
 
-#include <sysinfo.h>
-#include <ipc/ns.h>
-
 #include <str.h>
 
Index: uspace/drv/time/cmos-rtc/cmos-rtc.c
===================================================================
--- uspace/drv/time/cmos-rtc/cmos-rtc.c	(revision af9f2713e4ff69fa111b9bbbc7ad69ee5fb841ce)
+++ uspace/drv/time/cmos-rtc/cmos-rtc.c	(revision 6ba2db4bffeb6bfa69b526a2a7b2bc0c00eec661)
@@ -39,5 +39,4 @@
 #include <ddi.h>
 #include <as.h>
-#include <sysinfo.h>
 #include <libarch/barrier.h>
 #include <stdio.h>