Ańado de paso el enlace para descargar el
Kernel Blue
http://www.engstk.org/code_blue
Se suele actualizar bastante a menudo, y tiene 2 versiones, las estables (donde esta el 755 del que hable) y las versiones Test (las betas por así decirlo, pero no son propensos a ningún bug normalmente)