Specify address of UART device to use as a console

This patch adds the ability to specify the base address of a UART
device for initialising the console. This allows a boot loader stage
to use a different UART device from UART0 (default) for the console.

Change-Id: Ie60b927389ae26085cfc90d22a564ff83ba62955
diff --git a/plat/fvp/bl1_plat_setup.c b/plat/fvp/bl1_plat_setup.c
index 7a61c66..1cee705 100644
--- a/plat/fvp/bl1_plat_setup.c
+++ b/plat/fvp/bl1_plat_setup.c
@@ -116,7 +116,7 @@
 	mmio_write_32(SYS_CNTCTL_BASE + CNTCR_OFF, CNTCR_EN);
 
 	/* Initialize the console */
-	console_init();
+	console_init(PL011_UART0_BASE);
 
 	return;
 }
diff --git a/plat/fvp/platform.h b/plat/fvp/platform.h
index 6a8c988..375f595 100644
--- a/plat/fvp/platform.h
+++ b/plat/fvp/platform.h
@@ -299,7 +299,11 @@
 /*******************************************************************************
  * PL011 related constants
  ******************************************************************************/
-#define PL011_BASE			0x1c090000
+#define PL011_UART0_BASE		0x1c090000
+#define PL011_UART1_BASE		0x1c0a0000
+#define PL011_UART2_BASE		0x1c0b0000
+#define PL011_UART3_BASE		0x1c0c0000
+#define PL011_BASE			PL011_UART0_BASE
 
 /*******************************************************************************
  * Declarations and constants to access the mailboxes safely. Each mailbox is