microblaze: use asm-generic/pci-dma-compat.h