PCI: add debug output for DMA mask info