Are you saying the only way to change the frequency is by editing /etc/kernel-dt-tunables, that it is set at 333MHZ no matter if the unit is idle or not? If so will that have an effect on the battery charge?