tile PCI RC: make default consistent DMA mask 32-bit