[POWERPC] irqtrace support for 64-bit powerpc