microblaze: remove unused HAVE_ARCH_PCI_SET_DMA_MASK