microblaze: use the generic ack_bad_irq implementation