Can't understand /proc/interrupts output for GICv3 case