Hi Oliver:
If you want to use interrupt mode, I would suggest you try to modify BSP_DEFAULT_IO_CHANNEL in user_config.h.
For example, for frdm-k64 board,
original:
#define BSPCFG_ENABLE_TTYA 1
#define BSPCFG_ENABLE_ITTYA 0
new:
#define BSPCFG_ENABLE_TTYA 0
#define BSPCFG_ENABLE_ITTYA 1
#define BSP_DEFAULT_IO_CHANNEL "ittya:"
Then recompile all libraries.
Regards
Daniel