The UART is not working properly when IRC is selected as Input Clock. To fix this issue you must open the uart.c file and edit the line: Fdiv = (((SystemFrequency/LPC_SYSCON->SYSAHBCLKDIV)/regVal)/16)/baudrate ; which is in function UARTInit().
You must change the SystemFrequency to the number 12000000