debugging PCIe interrupts