microblaze: Enable IRQ in arch_cpu_idle