Qualcuno mi può dire cosa manca nei dispositivi wp7? Perche non è sopportato il nuovo kernel?