Index: uspace/srv/hw/irc/obio/obio.c
===================================================================
--- uspace/srv/hw/irc/obio/obio.c	(revision aed3e6a13374b1a34ec5021518f5f83de29cc4f1)
+++ uspace/srv/hw/irc/obio/obio.c	(revision df01d3034d9347967176e66fc948510d04e8201e)
@@ -45,5 +45,4 @@
 #include <ipc/irc.h>
 #include <ns.h>
-#include <sysinfo.h>
 #include <as.h>
 #include <ddi.h>
@@ -112,6 +111,5 @@
 /** Initialize the OBIO driver.
  *
- * So far, the driver heavily depends on information provided by the kernel via
- * sysinfo. In the future, there should be a standalone OBIO driver.
+ * In the future, the OBIO driver should be integrated with the sun4u platform driver.
  */
 static bool obio_init(void)