microblaze: Add isa_dma_bridge_buggy to dma.h