Index: uspace/srv/hw/irc/obio/obio.c
===================================================================
--- uspace/srv/hw/irc/obio/obio.c	(revision 6da5a6bb7f6f4c033f083c26b7cf06a81bd81b0b)
+++ uspace/srv/hw/irc/obio/obio.c	(revision c7a145efde453e70b013b6f1a9d768270f80c38f)
@@ -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)