Index: kernel/genarch/include/genarch/drivers/omap/uart.h
===================================================================
--- kernel/genarch/include/genarch/drivers/omap/uart.h	(revision 9d5040726d185ffa4c8a534f5d07c43c3fd08197)
+++ kernel/genarch/include/genarch/drivers/omap/uart.h	(revision d531bd6e25df500e048bf1e978ed6684fd0d65d0)
@@ -46,16 +46,8 @@
 } omap_uart_t;
 
-#ifdef CONFIG_OMAP_UART
 extern bool omap_uart_init(omap_uart_t *uart, inr_t interrupt,
     uintptr_t addr, size_t size);
 
 extern void omap_uart_input_wire(omap_uart_t *uart, indev_t *indev);
-#else
-static bool omap_uart_init(omap_uart_t *uart, inr_t interrupt,
-    uintptr_t addr, size_t size)
-{ return true; }
-
-static void omap_uart_input_wire(omap_uart_t *uart, indev_t *indev) {}
-#endif
 
 #endif