Pues eso es una opcion yeyo,
A ver, abres el aplicador ppf, seleccionas el kernel original de osx autentico, seleccionas el parche ppf que te conviene y parcheas, que tienes ss3 no nx...
pues usas el parche ese que acabas de poner, una vez que lo parchees, usas ese kernel, asi de simple.
para no confundire te parche, recuerda que los parches de kernel solo ocupan 1 kb, y los parches ppf que tienen mas cosas, ocupan de 30 megas para arriba,