microblaze: Fix IRQ flag handling for MSR=0