Linux mac os x ppc dual boot