Cadence UART console support

configname: CONFIG_SERIAL_XILINX_PS_UART_CONSOLE

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>Serial drivers
└─>Cadence UART console support
In linux kernel since version 3 (release Date: 2011-07-21)  
Enable a Cadence UART port to be the system console.