[PATCH] Use pci_set_dma_mask() instead of direct assignment of DMA mask