PIC32 serial console support

configname: CONFIG_SERIAL_PIC32_CONSOLE

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>Serial drivers
└─>PIC32 serial console support
In linux kernel since version 4.1 (release Date: 2015-06-21)  
If you have a PIC32, this driver supports the putting a console on one
of the serial ports.

Say Y to use the PIC32 console, otherwise say N.