Eso viene del kernel, si no me equivoco en la v71 llevaba el semaphore, lo digo de memoria eh no sé, dile a tu amigo que te ponga el dark core 2.7.1 o 2.7.3, a mi personalmente me mola mas el 2.7.1, haz tambien lo que te dice falcon, pero cambia el kernel si o si.
edito: Lo que te dice falcon no borra nada.