microblaze: Fix intc_enable_or_unmask function