Support for ST-Ericsson's Ux500 architecture
Choose the UART on which kernel low-level debug messages should be output.