ppc: Use split I/D mmu modes to avoid flushes on interrupts