microblaze: Fix IRQ entry/exit ftracing