Enable LPC32XX high speed UART serial console

configname: CONFIG_SERIAL_HS_LPC32XX_CONSOLE

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>Serial drivers
└─>Enable LPC32XX high speed UART serial console
In linux kernel since version 3.1 (release Date: 2011-10-24)  
If you would like to be able to use one of the high speed serial
ports on the LPC32XX as the console, you can do so by answering
Y to this option.