Möglicherweise musst du noch CONFIG UART oder CONFIG SERIAL benutzen.
Da gibts ja auch Einstellungen für die Interrupts - ging bei mir letztes mal. Siehe Help-File...