UART gets stuck when enabling IRQ (NIOS II)

Hi, I'm reopening an old post from 2013 that apparently never got a reply. I'm facing the same problem. I have a small NIOS II system (used as a demo for my students) that features a jTAG UART an...