Index: kernel/genarch/include/genarch/drivers/omap/uart.h
===================================================================
--- kernel/genarch/include/genarch/drivers/omap/uart.h	(revision 7ca8422bb3ba2a8a3166d572b8c1ee3d646fb83b)
+++ kernel/genarch/include/genarch/drivers/omap/uart.h	(revision 951f32ce8d4ff8508530ae4ef61d13827f1b2c0f)
@@ -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