because PowerPC 405 can use UartLite as console
 
 #include <config.h>
 
-#ifdef CONFIG_MICROBLAZE
+#ifdef CONFIG_XILINX_UARTLITE
 
 #include <asm/serial_xuartlite.h>
 
 
 #define        CONFIG_ML401            1       /* ML401 Board */
 
 /* uart */
+#define CONFIG_XILINX_UARTLITE
 #define        CONFIG_SERIAL_BASE      XILINX_UART_BASEADDR
 #define        CONFIG_BAUDRATE         XILINX_UART_BAUDRATE
 #define        CFG_BAUDRATE_TABLE      { CONFIG_BAUDRATE }
 
 #define CFG_MALLOC_LEN         (256 << 10)     /* Reserve 256 kB for malloc */
 #define CFG_MALLOC_BASE                (CFG_MONITOR_BASE - (1024 * 1024))
 
+#define CONFIG_XILINX_UARTLITE
 #define CONFIG_BAUDRATE                115200
 #define CFG_BAUDRATE_TABLE     { 115200 }
 
 
 #define        CONFIG_XUPV2P           1
 
 /* uart */
+#define CONFIG_XILINX_UARTLITE
 #define        CONFIG_SERIAL_BASE      XILINX_UART_BASEADDR
 #define        CONFIG_BAUDRATE         XILINX_UART_BAUDRATE
 #define        CFG_BAUDRATE_TABLE      { CONFIG_BAUDRATE }