Not receiving interrupts from FPGA to HPS

Hi, I have upgraded kernel from linux-socfpga 3.10.31 to 4.14.73 and I am having some troubles with getting the interrupts from the FPGA. I can see, when I do "cat /proc/interru...