[PPC] Fix some irq breakage with ARCH=ppc

Signed-off-by: Paul Mackerras <paulus@samba.org>
2 files changed