Aun no hay ningun kernel 3.4 que no sea basado en la actualización oficial (y yo también estoy leyendo en xda) hay un parche de la beta 2 de open SEMC que fucniona con el kernel 3.0.57 de la PAC, pero vamos aún no hay kernel 3.4