Non ci sono impostazioni del dev. Ma la versione 007 aveva qualche problema con i governor diversi da ondemand.
Ne approfitto per una segnalazione relativa all'ultima versione.
Il nuovo kernel, presente nella RC2, non mi va in deep sleep. Ho ripristinato LA versione 007 ed il problema si è risolto.