microblaze: Use generic irq Kconfig