DIEG0 era el único cocinero y se ha retirado. Me parece que tendréis que o convivir con este fallo o en su defecto, instalar otra ROM que no tenga el error del GPS.
En cuanto a lo del kernel, juraría que es el mismo en todas las ROMs ya que ni Doogee ni MediaTek han liberado nunca el código del kernel, por tanto es imposible tener otras alternativas al kernel original.