[OpenBIOS] [PATCH] ppc: fix reuse of MMU translation slots