He probado HellsCore b47 y funciona estupéndamente, la verdad que mucho mejor que el stock en cuanto a fluidez (al menos para mi). En cuanto a consumos, esto es un mundo y cada terminal reacciona como le da la gana, y tampoco lo he llevado mucho rato como para sacar conclusiones.
Ahora acabo de flasear Semaphore 2.3.0 y corroboro que funciona perfectamente. Veremos que tal se porta ya que también le he hecho un poco de unvervolting desde Semaphore Manager.