mlx4_core: Distinguish multiple devices in /proc/interrupts