Paul, I happened to notice that the code in serial3.c didn't use new IRQ_PRIORITY in NVIC_SET_PRIORITY call.