irq_domain/microblaze: Convert microblaze to use irq_domains